Search dblp for Publications

export results for "toc:db/conf/adhs/adhs2021.bht:"

 download as .bib file

@inproceedings{DBLP:conf/adhs/0001WH21,
  author       = {Sota Sato and
                  Masaki Waga and
                  Ichiro Hasuo},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Constrained Optimization for Hybrid System Falsification and Application
                  to Conjunctive Synthesis},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {217--222},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.501},
  doi          = {10.1016/J.IFACOL.2021.08.501},
  timestamp    = {Tue, 14 Sep 2021 14:28:35 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/0001WH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/AugierY21,
  author       = {Nicolas Augier and
                  Agust{\'{\i}}n Gabriel Yabo},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Time-optimal control of piecewise affine bistable gene-regulatory
                  networks: preliminary results},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {205--210},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.499},
  doi          = {10.1016/J.IFACOL.2021.08.499},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/AugierY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BagagioloFM21,
  author       = {Fabio Bagagiolo and
                  Adriano Festa and
                  Luciano Marzufero},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {The orienteering problem: a hybrid control formulation},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {175--180},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.494},
  doi          = {10.1016/J.IFACOL.2021.08.494},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/BagagioloFM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BagagioloFM21a,
  author       = {Fabio Bagagiolo and
                  Adriano Festa and
                  Luciano Marzufero},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {A hybrid control framework for an optimal visiting problem},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {241--246},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.505},
  doi          = {10.1016/J.IFACOL.2021.08.505},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/BagagioloFM21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BakBDGP21,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Parasara Sridhar Duggirala and
                  Adam R. Gerlach and
                  Kostiantyn Potomkin},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Reachability of Black-Box Nonlinear Systems after Koopman Operator
                  Linearization},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {253--258},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.507},
  doi          = {10.1016/J.IFACOL.2021.08.507},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/BakBDGP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BartocciBMMN21,
  author       = {Ezio Bartocci and
                  Roderick Bloem and
                  Benedikt Maderbacher and
                  Niveditha Manjunath and
                  Dejan Nickovic},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Adaptive Testing for Specification Coverage in {CPS} Models},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {229--234},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.503},
  doi          = {10.1016/J.IFACOL.2021.08.503},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/BartocciBMMN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BergerR21,
  author       = {Guillaume O. Berger and
                  Maben Rabi},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Bounds on set exit times of affine systems, using Linear Matrix Inequalities},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {283--288},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.512},
  doi          = {10.1016/J.IFACOL.2021.08.512},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/BergerR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BertolloSKZ21,
  author       = {Riccardo Bertollo and
                  Michael Schwegel and
                  Andreas Kugi and
                  Luca Zaccarian},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Reset-control-based current tracking for a solenoid with unknown parameters},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {199--204},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.498},
  doi          = {10.1016/J.IFACOL.2021.08.498},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/BertolloSKZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BortolussiCCFR21,
  author       = {Luca Bortolussi and
                  Francesca Cairoli and
                  Ginevra Carbone and
                  Francesco Franchina and
                  Enrico Regolin},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Adversarial Learning of Robust and Safe Controllers for Cyber-Physical
                  Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {223--228},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.502},
  doi          = {10.1016/J.IFACOL.2021.08.502},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/BortolussiCCFR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BraunZ21,
  author       = {Philipp Braun and
                  Luca Zaccarian},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Augmented obstacle avoidance controller design for mobile robots},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {157--162},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.491},
  doi          = {10.1016/J.IFACOL.2021.08.491},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/BraunZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/CarpenterILW21,
  author       = {Taylor J. Carpenter and
                  Radoslav Ivanov and
                  Insup Lee and
                  James Weimer},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {ModelGuard: Runtime Validation of Lipschitz-continuous Models},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {37--42},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.471},
  doi          = {10.1016/J.IFACOL.2021.08.471},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/CarpenterILW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/ChenT21,
  author       = {Yahao Chen and
                  Stephan Trenn},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {An approximation for nonlinear differential-algebraic equations via
                  singular perturbation theory},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {187--192},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.496},
  doi          = {10.1016/J.IFACOL.2021.08.496},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/ChenT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/DebaucheRJ21,
  author       = {Virginie Debauche and
                  Matteo Della Rossa and
                  Rapha{\"{e}}l M. Jungers},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Template-Dependent Lifts for Path-Complete Stability Criteria and
                  Application to Positive Switching Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {151--156},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.490},
  doi          = {10.1016/J.IFACOL.2021.08.490},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/DebaucheRJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/DintherSENHH21,
  author       = {D. van Dinther and
                  Bardia Sharif and
                  S. J. A. M. van den Eijnden and
                  Henk Nijmeijer and
                  Marcel Fran{\c{c}}ois Heertjes and
                  W. P. M. H. Heemels},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Overcoming Performance Limitations of Linear Control with Hybrid Integrator-Gain
                  Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {289--294},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.513},
  doi          = {10.1016/J.IFACOL.2021.08.513},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/DintherSENHH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/DjuikemYGT21,
  author       = {Clotilde Djuikem and
                  Agust{\'{\i}}n Gabriel Yabo and
                  Fr{\'{e}}d{\'{e}}ric Grognard and
                  Suzanne Touzeau},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Mathematical modelling and optimal control of the seasonal coffee
                  leaf rust propagation},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {193--198},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.497},
  doi          = {10.1016/J.IFACOL.2021.08.497},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/DjuikemYGT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/EgidioH21,
  author       = {Lucas N. Egidio and
                  Anders Hansson},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {On the Search for Equilibrium Points of Switched Affine Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {301--306},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.515},
  doi          = {10.1016/J.IFACOL.2021.08.515},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/EgidioH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/FatnassiS21,
  author       = {Wael Fatnassi and
                  Yasser Shoukry},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {PolyAR: {A} Highly Parallelizable Solver For Polynomial Inequality
                  Constraints Using Convex Abstraction Refinement},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {43--48},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.472},
  doi          = {10.1016/J.IFACOL.2021.08.472},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/FatnassiS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/GassmannA21,
  author       = {Victor Ga{\ss}mann and
                  Matthias Althoff},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {85--90},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.479},
  doi          = {10.1016/J.IFACOL.2021.08.479},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/GassmannA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/GoordenLNNRS21,
  author       = {Martijn A. Goorden and
                  Kim G. Larsen and
                  Jesper E. Nielsen and
                  Thomas D. Nielsen and
                  Michael R. Rasmussen and
                  Jir{\'{\i}} Srba},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Learning Safe and Optimal Control Strategies for Storm Water Detention
                  Ponds},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {13--18},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.467},
  doi          = {10.1016/J.IFACOL.2021.08.467},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/GoordenLNNRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/GoubaultP21,
  author       = {Eric Goubault and
                  Sylvie Putot},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Tractable higher-order under-approximating {AE} extensions for non-linear
                  systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {235--240},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.504},
  doi          = {10.1016/J.IFACOL.2021.08.504},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/GoubaultP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/HassaanP0Y21,
  author       = {Syed M. Hassaan and
                  Tarun Pati and
                  Qiang Shen and
                  Sze Zheng Yong},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Time-Varying Tube-Based Output Feedback {MPC} for Constrained Linear
                  Systems with Intermittently Delayed Data},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {103--108},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.482},
  doi          = {10.1016/J.IFACOL.2021.08.482},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/HassaanP0Y21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/IsikAG21,
  author       = {Ilker Isik and
                  Onur Yigit Arpali and
                  Ebru Aydin Gol},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Optimal Policy Synthesis from {A} Sequence of Goal Sets with An Application
                  to Electric Distribution System Restoration},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {271--276},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.510},
  doi          = {10.1016/J.IFACOL.2021.08.510},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/IsikAG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/IuliisSMD21,
  author       = {Vittorio De Iuliis and
                  Francesco Smarra and
                  Costanzo Manes and
                  Alessandro D'Innocenzo},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {On the Stability of Switched {ARX} Models, with an Application to
                  Learning via Regression Trees},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {61--66},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.475},
  doi          = {10.1016/J.IFACOL.2021.08.475},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/IuliisSMD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/IvanovaG21,
  author       = {Elena Ivanova and
                  Antoine Girard},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Lazy Symbolic Controller for Continuous-Time Systems Based on Safe
                  Set Boundary Exploration},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {109--114},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.483},
  doi          = {10.1016/J.IFACOL.2021.08.483},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/IvanovaG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/JerrayF21,
  author       = {Jawher Jerray and
                  Laurent Fribourg},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Determination of limit cycles using stroboscopic set-valued maps},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {139--144},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.488},
  doi          = {10.1016/J.IFACOL.2021.08.488},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/JerrayF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/JerrayFA21,
  author       = {Jawher Jerray and
                  Laurent Fribourg and
                  {\'{E}}tienne Andr{\'{e}}},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {An Approximation of Minimax Control using Random Sampling and Symbolic
                  Computation},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {265--270},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.509},
  doi          = {10.1016/J.IFACOL.2021.08.509},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/JerrayFA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/JohnsonAS21,
  author       = {Ryan S. Johnson and
                  Berk Altin and
                  Ricardo G. Sanfelice},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Hybrid Adaptive Control for the {DC-DC} Boost Converter},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {73--78},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.477},
  doi          = {10.1016/J.IFACOL.2021.08.477},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/JohnsonAS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/Kundu21,
  author       = {Atreyee Kundu},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Yet another matrix commutator condition for stabilizability of discrete-time
                  switched linear systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {145--150},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.489},
  doi          = {10.1016/J.IFACOL.2021.08.489},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/Kundu21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/LegatJ21,
  author       = {Beno{\^{\i}}t Legat and
                  Rapha{\"{e}}l M. Jungers},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Geometric control of algebraic systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {79--84},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.478},
  doi          = {10.1016/J.IFACOL.2021.08.478},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/LegatJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/LiS021,
  author       = {Yinan Li and
                  Zhibing Sun and
                  Jun Liu},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {{ROCS} 2.0: An Integrated Temporal Logic Control Synthesis Tool for
                  Nonlinear Dynamical Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {31--36},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.470},
  doi          = {10.1016/J.IFACOL.2021.08.470},
  timestamp    = {Thu, 05 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/LiS021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/LiuO21,
  author       = {Zexiang Liu and
                  Necmiye Ozay},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Safe Online Planning in Unknown Nonconvex Environments with Implicit
                  Controlled Invariant Sets},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {163--168},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.492},
  doi          = {10.1016/J.IFACOL.2021.08.492},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/LiuO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MadaryMAL21,
  author       = {Ahmad Madary and
                  Hamid Reza Momeni and
                  Alessandro Abate and
                  Kim G. Larsen},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid
                  Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {259--264},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.508},
  doi          = {10.1016/J.IFACOL.2021.08.508},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/MadaryMAL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MajumdarMSS21,
  author       = {Rupak Majumdar and
                  Kaushik Mallik and
                  Anne{-}Kathrin Schmuck and
                  Sadegh Soudjani},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Symbolic Qualitative Control for Stochastic Systems via Finite Parity
                  Games},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {127--132},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.486},
  doi          = {10.1016/J.IFACOL.2021.08.486},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/MajumdarMSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MakdesiGF21,
  author       = {Anas Makdesi and
                  Antoine Girard and
                  Laurent Fribourg},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Efficient Data-Driven Abstraction of Monotone Systems with Disturbances},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {49--54},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.473},
  doi          = {10.1016/J.IFACOL.2021.08.473},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/MakdesiGF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MassucciLG21,
  author       = {Louis Massucci and
                  Fabien Lauer and
                  Marion Gilson},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Regularized Switched System Identification: a Statistical Learning
                  Perspective},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {55--60},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.474},
  doi          = {10.1016/J.IFACOL.2021.08.474},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/MassucciLG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MillerFM21,
  author       = {Kristina Miller and
                  Chuchu Fan and
                  Sayan Mitra},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Planning in Dynamic and Partially Unknown Environments},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {169--174},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.493},
  doi          = {10.1016/J.IFACOL.2021.08.493},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/MillerFM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/NejatiLSZ21,
  author       = {Ameneh Nejati and
                  Abolfazl Lavaei and
                  Sadegh Soudjani and
                  Majid Zamani},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {277--282},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.511},
  doi          = {10.1016/J.IFACOL.2021.08.511},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/NejatiLSZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/Prabhakar021,
  author       = {Pavithra Prabhakar and
                  Jun Liu},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Simulation Relations for Abstraction-based Robust Control of Hybrid
                  Dynamical Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {115--120},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.484},
  doi          = {10.1016/J.IFACOL.2021.08.484},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/Prabhakar021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/RobeyLTM21,
  author       = {Alexander Robey and
                  Lars Lindemann and
                  Stephen Tu and
                  Nikolai Matni},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Learning Robust Hybrid Control Barrier Functions for Uncertain Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {1--6},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.465},
  doi          = {10.1016/J.IFACOL.2021.08.465},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/RobeyLTM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/RubbensWJ21,
  author       = {Anne Rubbens and
                  Zheming Wang and
                  Rapha{\"{e}}l M. Jungers},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Data-driven stability analysis of switched linear systems with Sum
                  of Squares guarantees},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {67--72},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.476},
  doi          = {10.1016/J.IFACOL.2021.08.476},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/RubbensWJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/SalamatiLSZ21,
  author       = {Ali Salamati and
                  Abolfazl Lavaei and
                  Sadegh Soudjani and
                  Majid Zamani},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Data-Driven Safety Verification of Stochastic Systems via Barrier
                  Certificates},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {7--12},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.466},
  doi          = {10.1016/J.IFACOL.2021.08.466},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/SalamatiLSZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/SaoudS21,
  author       = {Adnane Saoud and
                  Ricardo G. Sanfelice},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Computation of Controlled Invariants for Nonlinear Systems: Application
                  to Safe Neural Networks Approximation and Control},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {91--96},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.480},
  doi          = {10.1016/J.IFACOL.2021.08.480},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/SaoudS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/SerieyeASJ21,
  author       = {Mathias Serieye and
                  Carolina Albea and
                  Alexandre Seuret and
                  Marc Jungers},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Synchronization on a limit cycle of multi-agent systems governed by
                  discrete-time switched affine dynamics},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {295--300},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.514},
  doi          = {10.1016/J.IFACOL.2021.08.514},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/SerieyeASJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/SharfBMZJ21,
  author       = {Miel Sharf and
                  Bart Besselink and
                  Adam Molin and
                  Qiming Zhao and
                  Karl Henrik Johansson},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational
                  Tools},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {25--30},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.469},
  doi          = {10.1016/J.IFACOL.2021.08.469},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/SharfBMZJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/TajvarMT21,
  author       = {Pouria Tajvar and
                  Pierre{-}Jean Meyer and
                  Jana Tumova},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Closed-loop incremental stability for efficient symbolic control of
                  non-linear systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {121--126},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.485},
  doi          = {10.1016/J.IFACOL.2021.08.485},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/TajvarMT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/TanP21,
  author       = {Yong Kiam Tan and
                  Andr{\'{e}} Platzer},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Switched Systems as Hybrid Programs},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {247--252},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.506},
  doi          = {10.1016/J.IFACOL.2021.08.506},
  timestamp    = {Fri, 05 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/TanP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/WangTFH21,
  author       = {Xinyong Wang and
                  Ying Tang and
                  Christophe Fiter and
                  Laurentiu Hetel},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {A Hybrid System Approach to Exponential Stability with Sampled-data
                  Control for a Class of Linear Hyperbolic Systems},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {133--138},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.487},
  doi          = {10.1016/J.IFACOL.2021.08.487},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/WangTFH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/WestenbroekACSS21,
  author       = {Tyler Westenbroek and
                  Ayush Agrawal and
                  Fernando Casta{\~{n}}eda and
                  S. Shankar Sastry and
                  Koushil Sreenath},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Combining Model-Based Design and Model-Free Policy Optimization to
                  Learn Safe, Stabilizing Controllers},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {19--24},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.468},
  doi          = {10.1016/J.IFACOL.2021.08.468},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/WestenbroekACSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/WestenbroekXSA21,
  author       = {Tyler Westenbroek and
                  Xiaobin Xiong and
                  S. Shankar Sastry and
                  Aaron D. Ames},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Smooth Approximations for Hybrid Optimal Control Problems with Application
                  to Robotic Walking},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {181--186},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.495},
  doi          = {10.1016/J.IFACOL.2021.08.495},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/WestenbroekXSA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/YangO21,
  author       = {Liren Yang and
                  Necmiye Ozay},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Safety Control Synthesis for Systems with Missing Measurements},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {97--102},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.481},
  doi          = {10.1016/J.IFACOL.2021.08.481},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adhs/YangO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/ZaupaMOZ21,
  author       = {Nicola Zaupa and
                  Luis Mart{\'{\i}}nez{-}Salamero and
                  Carlos Olalla and
                  Luca Zaccarian},
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {Results on hybrid control of self-oscillating resonant converters},
  booktitle    = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  pages        = {211--216},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ifacol.2021.08.500},
  doi          = {10.1016/J.IFACOL.2021.08.500},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/ZaupaMOZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adhs/2021,
  editor       = {Rapha{\"{e}}l M. Jungers and
                  Necmiye Ozay and
                  Alessandro Abate},
  title        = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2021, Brussels, Belgium, July 7-9, 2021},
  series       = {IFAC-PapersOnLine},
  volume       = {54},
  number       = {5},
  publisher    = {Elsevier},
  year         = {2021},
  url          = {https://www.sciencedirect.com/journal/ifac-papersonline/vol/54/issue/5},
  timestamp    = {Tue, 14 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics