Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/adhs/adhs2021.bht:"
@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} }
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.