Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/hybrid/hscc2021.bht:"
@inproceedings{DBLP:conf/hybrid/AbateAEGP21, author = {Alessandro Abate and Daniele Ahmed and Alec Edwards and Mirco Giacobbe and Andrea Peruffo}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {{FOSSIL:} a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {24:1--24:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456646}, doi = {10.1145/3447928.3456646}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/AbateAEGP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AbateMF021, author = {Matthew Abate and Mark Mote and Eric Feron and Samuel Coogan}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Verification and runtime assurance for dynamical systems with uncertainty}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {11:1--11:10}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456656}, doi = {10.1145/3447928.3456656}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/AbateMF021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AhmadJ21, author = {Hammad Ahmad and Jean{-}Baptiste Jeannin}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {A program logic to verify signal temporal logic specifications of hybrid systems}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {10:1--10:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456648}, doi = {10.1145/3447928.3456648}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/AhmadJ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AydinogluFMP21, author = {Alp Aydinoglu and Mahyar Fazlyab and Manfred Morari and Michael Posa}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Stability analysis of complementarity systems with neural network controllers}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {19:1--19:10}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456651}, doi = {10.1145/3447928.3456651}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/AydinogluFMP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/BaiGJX0Z21, author = {Yunjun Bai and Ting Gan and Li Jiao and Bican Xia and Bai Xue and Naijun Zhan}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Switching controller synthesis for delay hybrid systems under perturbations}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {3:1--3:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456657}, doi = {10.1145/3447928.3456657}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/BaiGJX0Z21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/BerniniBDGGPPS21, author = {Nicola Bernini and Mikhail Bessa and R{\'{e}}mi Delmas and Arthur Gold and Eric Goubault and Romain Pennec and Sylvie Putot and Fran{\c{c}}ois X. Sillion}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {A few lessons learned in reinforcement learning for quadcopter attitude control}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {27:1--27:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456707}, doi = {10.1145/3447928.3456707}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/BerniniBDGGPPS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ChenFMPP21, author = {Shaoru Chen and Mahyar Fazlyab and Manfred Morari and George J. Pappas and Victor M. Preciado}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Learning lyapunov functions for hybrid systems}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {13:1--13:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456644}, doi = {10.1145/3447928.3456644}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/ChenFMPP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ChenWF21, author = {Jingkai Chen and Brian C. Williams and Chuchu Fan}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Optimal mixed discrete-continuous planning for linear hybrid systems}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {8:1--8:12}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456654}, doi = {10.1145/3447928.3456654}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/ChenWF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/CohenB21, author = {Max H. Cohen and Calin Belta}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Model-based reinforcement learning for approximate optimal control with temporal logic specifications}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {12:1--12:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456639}, doi = {10.1145/3447928.3456639}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/CohenB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/DantamP21, author = {Mohan Dantam and Amaury Pouly}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {On the decidability of reachability in continuous time linear time-invariant systems}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {15:1--15:12}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456705}, doi = {10.1145/3447928.3456705}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/DantamP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Djeumou0T21, author = {Franck Djeumou and Aditya Zutshi and Ufuk Topcu}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {On-the-fly, data-driven reachability analysis and control of unknown systems: an {F-16} aircraft case study}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {35:1--35:2}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3457355}, doi = {10.1145/3447928.3457355}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/Djeumou0T21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GaoZSO21, author = {Rongxuan Gao and Aolong Zha and Shusuke Shigenaka and Masaki Onishi}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Hybrid modeling and predictive control of large-scale crowd movement in road network}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {26:1--26:7}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456641}, doi = {10.1145/3447928.3456641}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GaoZSO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GleizerM21, author = {Gabriel de Albuquerque Gleizer and Manuel Mazo Jr.}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Computing the sampling performance of event-triggered control}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {20:1--20:7}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456635}, doi = {10.1145/3447928.3456635}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GleizerM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GrossmannBW21, author = {Gerrit Gro{\ss}mann and Michael Backenk{\"{o}}hler and Verena Wolf}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Epidemic overdispersion strengthens the effectiveness of mobility restrictions}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {31:1--31:2}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3457209}, doi = {10.1145/3447928.3457209}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GrossmannBW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/HassaanSY21, author = {Syed M. Hassaan and Qiang Shen and Sze Zheng Yong}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Path-dependent controller and estimator synthesis with robustness to delayed and missing data}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {22:1--22:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456655}, doi = {10.1145/3447928.3456655}, timestamp = {Tue, 29 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/HassaanSY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/HuntFMHDS21, author = {Nathan Hunt and Nathan Fulton and Sara Magliacane and Trong Nghia Hoang and Subhro Das and Armando Solar{-}Lezama}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Verifiably safe exploration for end-to-end reinforcement learning}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {14:1--14:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456653}, doi = {10.1145/3447928.3456653}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/HuntFMHDS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/JacksonLFL21, author = {John Jackson and Luca Laurenti and Eric W. Frew and Morteza Lahijanian}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Strategy synthesis for partially-known switched stochastic systems}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {6:1--6:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456649}, doi = {10.1145/3447928.3456649}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/JacksonLFL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Kamburjan21, author = {Eduard Kamburjan}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {From post-conditions to post-region invariants: deductive verification of hybrid objects}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {9:1--9:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456633}, doi = {10.1145/3447928.3456633}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/Kamburjan21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/KhaledZ21, author = {Mahmoud Khaled and Majid Zamani}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {OmegaThreads: symbolic controller design for \emph{{\(\omega\)}}-regular objectives}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {25:1--25:7}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456652}, doi = {10.1145/3447928.3456652}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/KhaledZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/KhaledZ21a, author = {Mahmoud Khaled and Majid Zamani}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {OmegaThreads: symbolic controller design for \emph{{\(\omega\)}}-regular objectives}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {33:1--33:2}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3457211}, doi = {10.1145/3447928.3457211}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/KhaledZ21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/KochdumperGSGKA21, author = {Niklas Kochdumper and Felix Gruber and Bastian Sch{\"{u}}rmann and Victor Ga{\ss}mann and Moritz Klischat and Matthias Althoff}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {{AROC:} a toolbox for automated reachset optimal controller synthesis}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {23:1--23:6}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456703}, doi = {10.1145/3447928.3456703}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/KochdumperGSGKA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/LavaeiNJZ21, author = {Abolfazl Lavaei and Ameneh Nejati and Pushpak Jagtap and Majid Zamani}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Formal safety verification of unknown continuous-time systems: a data-driven approach}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {29:1--29:2}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456661}, doi = {10.1145/3447928.3456661}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/LavaeiNJZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/LavaeiNSZ21, author = {Abolfazl Lavaei and Ameneh Nejati and Sadegh Soudjani and Majid Zamani}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {28:1--28:2}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456660}, doi = {10.1145/3447928.3456660}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/LavaeiNSZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/MajumdarS21, author = {Rupak Majumdar and Sadegh Soudjani}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {The computability of {LQR} and {LQG} control}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {5:1--5:7}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456634}, doi = {10.1145/3447928.3456634}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/MajumdarS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/NayakN021, author = {Satya Prakash Nayak and Daniel Neider and Martin Zimmermann}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Adaptive strategies for rLTL games}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {32:1--32:2}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3457210}, doi = {10.1145/3447928.3457210}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/NayakN021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/RutledgeCO21, author = {Kwesi J. Rutledge and Glen Chou and Necmiye Ozay}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Compositional safety rules for inter-triggering hybrid automata}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {4:1--4:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456659}, doi = {10.1145/3447928.3456659}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/RutledgeCO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/SotoH021, author = {Miriam Garc{\'{\i}}a Soto and Thomas A. Henzinger and Christian Schilling}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Synthesis of hybrid automata with affine dynamics from time-series data}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {2:1--2:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456704}, doi = {10.1145/3447928.3456704}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/SotoH021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Tanwani21, author = {Aneel Tanwani}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Filtering over networks with random communication}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {34:1--34:2}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3457212}, doi = {10.1145/3447928.3457212}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/Tanwani21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/VicinansaL21, author = {Guilherme Scabin Vicinansa and Daniel Liberzon}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Quantizer design for switched linear systems with minimal data-rate}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {21:1--21:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456645}, doi = {10.1145/3447928.3456645}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/VicinansaL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/WetzlingerKA21, author = {Mark Wetzlinger and Adrian Kulmburg and Matthias Althoff}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Adaptive parameter tuning for reachability analysis of nonlinear systems}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {16:1--16:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456643}, doi = {10.1145/3447928.3456643}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/WetzlingerKA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Xiang21, author = {Weiming Xiang}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Interval observer design of dynamical systems with neural networks}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {30:1--30:2}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456662}, doi = {10.1145/3447928.3456662}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/Xiang21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/XingWBCL21, author = {Shaopeng Xing and Jiawan Wang and Lei Bu and Xin Chen and Xuandong Li}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Approximate optimal hybrid control synthesis by classification-based derivative-free optimization}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {7:1--7:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456658}, doi = {10.1145/3447928.3456658}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/XingWBCL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/YangJT0HP21, author = {Xiaodong Yang and Taylor T. Johnson and Hoang{-}Dung Tran and Tomoya Yamaguchi and Bardh Hoxha and Danil V. Prokhorov}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Reachability analysis of deep ReLU neural networks using facet-vertex incidence}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {18:1--18:7}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456650}, doi = {10.1145/3447928.3456650}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/YangJT0HP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/YangLH21, author = {Guosong Yang and Daniel Liberzon and Jo{\~{a}}o P. Hespanha}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Topological entropy of switched nonlinear systems}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {1:1--1:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456642}, doi = {10.1145/3447928.3456642}, timestamp = {Wed, 30 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/YangLH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ZhaoC0SYLTCL21, author = {Qingye Zhao and Xin Chen and Yifan Zhang and Meng Sha and Zhengfeng Yang and Wang Lin and Enyi Tang and Qiguang Chen and Xuandong Li}, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems}, booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, pages = {17:1--17:11}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928.3456638}, doi = {10.1145/3447928.3456638}, timestamp = {Thu, 02 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/ZhaoC0SYLTCL21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/hybrid/2021, editor = {Sergiy Bogomolov and Rapha{\"{e}}l M. Jungers}, title = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3447928}, doi = {10.1145/3447928}, isbn = {978-1-4503-8339-4}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.