Search dblp for Publications

export results for "toc:db/conf/hybrid/hscc2021.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics