Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/adhs/adhs2018.bht:"
download as .bib file
@inproceedings{DBLP:conf/adhs/0044R00D18,
author = {Yu Wang and
Nima Roohi and
Matthew West and
Mahesh Viswanathan and
Geir E. Dullerud},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Statistical Verification of {PCTL} Using Stratified Samples},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {85--90},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.015},
doi = {10.1016/J.IFACOL.2018.08.015},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/0044R00D18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/AbreuBG18,
author = {Amanda Abreu and
Romain Bourdais and
Herv{\'{e}} Gu{\'{e}}guen},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Hierarchical Model Predictive Control for Building Energy Management
of Hybrid Systems},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {235--240},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.040},
doi = {10.1016/J.IFACOL.2018.08.040},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/AbreuBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/AthanasopoulosJ18,
author = {Nikolaos Athanasopoulos and
Rapha{\"{e}}l M. Jungers},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {On invariance and reachability on semialgebraic sets for linear dynamics},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {43--48},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.008},
doi = {10.1016/J.IFACOL.2018.08.008},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/AthanasopoulosJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/Bak18,
author = {Stanley Bak},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {\emph{t}-Barrier Certificates: {A} Continuous Analogy to \emph{k}-Induction},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {145--150},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.025},
doi = {10.1016/J.IFACOL.2018.08.025},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/Bak18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BlomMB18,
author = {Henk A. P. Blom and
Hao Ma and
G. J. Bakker},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Interacting Particle System-based Estimation of Reach Probability
for a Generalized Stochastic Hybrid System},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {79--84},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.014},
doi = {10.1016/J.IFACOL.2018.08.014},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/BlomMB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BohrerLCP18,
author = {Rose Bohrer and
Adriel Luo and
Xue An Chuang and
Andr{\'{e}} Platzer},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {CoasterX: {A} Case Study in Component-Driven Hybrid Systems Proof
Automation},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {55--60},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.010},
doi = {10.1016/J.IFACOL.2018.08.010},
timestamp = {Tue, 10 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/BohrerLCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/BulanceaNO18,
author = {Oscar Lindvall Bulancea and
Petter Nilsson and
Necmiye Ozay},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Nonuniform abstractions, refinement and controller synthesis with
novel {BDD} encodings},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {19--24},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.004},
doi = {10.1016/J.IFACOL.2018.08.004},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/BulanceaNO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/CauchiA18,
author = {Nathalie Cauchi and
Alessandro Abate},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Benchmarks for cyber-physical systems: {A} modular model library for
building automation systems},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {49--54},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.009},
doi = {10.1016/J.IFACOL.2018.08.009},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/CauchiA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/CoentFV18,
author = {Adrien Le Co{\"{e}}nt and
Laurent Fribourg and
Jonathan Vacher},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Control Synthesis for Stochastic Switched Systems using the Tamed
Euler Method},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {259--264},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.044},
doi = {10.1016/J.IFACOL.2018.08.044},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/CoentFV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/CubuktepeATH18,
author = {Murat Cubuktepe and
Mohamadreza Ahmadi and
Ufuk Topcu and
Brandon Hencey},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {115--120},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.020},
doi = {10.1016/J.IFACOL.2018.08.020},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/CubuktepeATH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/DolkLAAH18,
author = {Victor S. Dolk and
Menno Lauret and
Duarte J. Antunes and
Patrick D. Anderson and
W. P. M. H. Heemels},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {A switched system approach to optimize mixing of fluids},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {31--36},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.006},
doi = {10.1016/J.IFACOL.2018.08.006},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/DolkLAAH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/DuttaJST18,
author = {Souradeep Dutta and
Susmit Jha and
Sriram Sankaranarayanan and
Ashish Tiwari},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Learning and Verification of Feedback Control Systems using Feedforward
Neural Networks},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {151--156},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.026},
doi = {10.1016/J.IFACOL.2018.08.026},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/DuttaJST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/EqtamiG18,
author = {Alina Eqtami and
Antoine Girard},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Safety control, a quantitative approach},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {187--192},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.032},
doi = {10.1016/J.IFACOL.2018.08.032},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/EqtamiG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/EstradaM18,
author = {Ariadna Estrada and
Ian M. Mitchell},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Control Synthesis and Classification for Unicycle Dynamics using the
Gradient and Value Sampling Particle Filters},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {290--295},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.049},
doi = {10.1016/J.IFACOL.2018.08.049},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/EstradaM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/Fahrenberg18,
author = {Uli Fahrenberg},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Higher-Dimensional Timed Automata},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {109--114},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.019},
doi = {10.1016/J.IFACOL.2018.08.019},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/Fahrenberg18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/FanM0BM018,
author = {Chuchu Fan and
Yu Meng and
J{\"{u}}rgen Maier and
Ezio Bartocci and
Sayan Mitra and
Ulrich Schmid},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Verifying nonlinear analog and mixed-signal circuits with inputs},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {241--246},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.041},
doi = {10.1016/J.IFACOL.2018.08.041},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/FanM0BM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/FioreSPB18,
author = {Gabriella Fiore and
Elena De Santis and
Giordano Pola and
Maria Domenica Di Benedetto},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {On approximate predictability of metric systems},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {169--174},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.029},
doi = {10.1016/J.IFACOL.2018.08.029},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/FioreSPB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/GoyalD18,
author = {Manish Goyal and
Parasara Sridhar Duggirala},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {On Generating {A} Variety of Unsafe Counterexamples for Linear Dynamical
Systems},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {139--144},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.024},
doi = {10.1016/J.IFACOL.2018.08.024},
timestamp = {Sun, 25 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/GoyalD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/GrossTW18,
author = {Tjorben B. Gross and
Stephan Trenn and
Andreas Wirsen},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Switch induced instabilities for stable power system {DAE} models},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {127--132},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.022},
doi = {10.1016/J.IFACOL.2018.08.022},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/GrossTW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/HaesaertNVTAAM18,
author = {Sofie Haesaert and
Petter Nilsson and
Cristian Ioan Vasile and
Rohan Thakker and
Ali{-}akbar Agha{-}mohammadi and
Aaron D. Ames and
Richard M. Murray},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Temporal Logic Control of POMDPs via Label-based Stochastic Simulation
Relations},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {271--276},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.046},
doi = {10.1016/J.IFACOL.2018.08.046},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/HaesaertNVTAAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/HaesaertSA18,
author = {Sofie Haesaert and
Sadegh Soudjani and
Alessandro Abate},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Temporal logic control of general Markov decision processes by approximate
policy refinement},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {73--78},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.013},
doi = {10.1016/J.IFACOL.2018.08.013},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/HaesaertSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/HamadnehW18,
author = {Tareq Hamadneh and
Rafael Wisniewski},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Algorithm for Bernstein Polynomial Control Design},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {283--289},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.048},
doi = {10.1016/J.IFACOL.2018.08.048},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/HamadnehW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/HanS18,
author = {Hyejin Han and
Ricardo G. Sanfelice},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Sufficient Conditions for Temporal Logic Specifications in Hybrid
Dynamical Systems},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {97--102},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.017},
doi = {10.1016/J.IFACOL.2018.08.017},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/HanS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/JungersGF18,
author = {Marc Jungers and
Antoine Girard and
Mirko Fiacchini},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Language constrained stabilization of discrete-time switched linear
systems: an {LMI} approach},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {25--30},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.005},
doi = {10.1016/J.IFACOL.2018.08.005},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/JungersGF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/KaderGS18,
author = {Zohra Kader and
Antoine Girard and
Adnane Saoud},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Symbolic models for incrementally stable switched systems with aperiodic
time sampling},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {253--258},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.043},
doi = {10.1016/J.IFACOL.2018.08.043},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/KaderGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/KidoSH18,
author = {Kengo Kido and
Sean Sedwards and
Ichiro Hasuo},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Bounding Errors Due to Switching Delays in Incrementally Stable Switched
Systems},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {247--252},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.042},
doi = {10.1016/J.IFACOL.2018.08.042},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/KidoSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/KrishnanSFPG18,
author = {Ashok Krishnan and
L. P. M. I. Sampath and
Yi Shyh Eddy Foo and
Bhagyesh V. Patil and
Hoay Beng Gooi},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Multi-Energy Scheduling Using a Hybrid Systems Approach},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {229--234},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.039},
doi = {10.1016/J.IFACOL.2018.08.039},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/KrishnanSFPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/LavaeiSZ18,
author = {Abolfazl Lavaei and
Sadegh Soudjani and
Majid Zamani},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Compositional Synthesis of Finite Abstractions for Continuous-Space
Stochastic Control Systems: {A} Small-Gain Approach},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {265--270},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.045},
doi = {10.1016/J.IFACOL.2018.08.045},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/LavaeiSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/LegatTJ18,
author = {Beno{\^{\i}}t Legat and
Paulo Tabuada and
Rapha{\"{e}}l M. Jungers},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Computing controlled invariant sets for hybrid systems with applications
to model-predictive control},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {193--198},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.033},
doi = {10.1016/J.IFACOL.2018.08.033},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/LegatTJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/LunWDA18,
author = {Yuriy Zacchia Lun and
Jack Wheatley and
Alessandro D'Innocenzo and
Alessandro Abate},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Approximate Abstractions of Markov Chains with Interval Decision Processes},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {91--96},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.016},
doi = {10.1016/J.IFACOL.2018.08.016},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/LunWDA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MengHC18,
author = {Xiangyu Meng and
Arian Houshmand and
Christos G. Cassandras},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Hybrid System Modeling of Multi-Agent Coverage Problems with Energy
Depletion and Repletion},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {223--228},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.038},
doi = {10.1016/J.IFACOL.2018.08.038},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/MengHC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MorarescuVBL18,
author = {Irinel{-}Constantin Morarescu and
Vineeth Satheeskumar Varma and
Lucian Busoniu and
Samson Lasaulce},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Space-time budget allocation for marketing over social networks},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {211--216},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.036},
doi = {10.1016/J.IFACOL.2018.08.036},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/MorarescuVBL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/NasserDDL18,
author = {Bacem Ben Nasser and
Michael Defoort and
Mohamed Djemai and
Taous{-}Meriem Laleg{-}Kirati},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Razumikhin-type Theorems on Practical Stability of Dynamic Equations
on Time Scales},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {121--126},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.021},
doi = {10.1016/J.IFACOL.2018.08.021},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/NasserDDL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/NguyenHJF18,
author = {Luan Viet Nguyen and
Bardh Hoxha and
Taylor T. Johnson and
Georgios Fainekos},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Mission Planning for Multiple Vehicles with Temporal Specifications
using UxAS},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {67--72},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.012},
doi = {10.1016/J.IFACOL.2018.08.012},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/NguyenHJF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/NooijenK18,
author = {Ronald R. P. van Nooijen and
Alla G. Kolechkina},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {A controlled sewer system should be treated as a sampled data system
with events},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {61--66},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.011},
doi = {10.1016/J.IFACOL.2018.08.011},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/NooijenK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/OliveiraVPMDC18,
author = {Andr{\'{e}} Marcorin de Oliveira and
Vineeth S. Varma and
Romain Postoyan and
Irinel{-}Constantin Morarescu and
Jamal Daafouz and
Oswaldo L. V. Costa},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Network-Aware Design of State-Feedback Controllers for Linear Wireless
Networked Control Systems},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {205--210},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.035},
doi = {10.1016/J.IFACOL.2018.08.035},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/OliveiraVPMDC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/RoccaFMFD18,
author = {Alexandre Rocca and
Marcelo Forets and
Victor Magron and
Eric Fanchon and
Thao Dang},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Occupation measure methods for modelling and analysis of biological
hybrid systems},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {181--186},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.031},
doi = {10.1016/J.IFACOL.2018.08.031},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/RoccaFMFD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/RutledgeYO18,
author = {Kwesi J. Rutledge and
Sze Zheng Yong and
Necmiye Ozay},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Optimization-Based Design of Bounded-Error Estimators Robust to Missing
Data},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {157--162},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.027},
doi = {10.1016/J.IFACOL.2018.08.027},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/RutledgeYO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/SandrettoBC18,
author = {Julien Alexandre Dit Sandretto and
Elliot Brendel and
Alexandre Chapoutot},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {An Interval-based Sliding Horizon Motion Planning Method},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {296--301},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.050},
doi = {10.1016/J.IFACOL.2018.08.050},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/SandrettoBC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/SaoudJZG18,
author = {Adnane Saoud and
Pushpak Jagtap and
Majid Zamani and
Antoine Girard},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Compositional Abstraction-based Synthesis for Cascade Discrete-Time
Control Systems},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {13--18},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.003},
doi = {10.1016/J.IFACOL.2018.08.003},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/SaoudJZG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/SinghDOY18,
author = {Kanishka Raj Singh and
Yuhao Ding and
Necmiye Ozay and
Sze Zheng Yong},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Input Design for Nonlinear Model Discrimination via Affine Abstraction},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {175--180},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.030},
doi = {10.1016/J.IFACOL.2018.08.030},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/SinghDOY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/SmarraJMD18,
author = {Francesco Smarra and
Achin Jain and
Rahul Mangharam and
Alessandro D'Innocenzo},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Data-driven Switched Affine Modeling for Model Predictive Control},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {199--204},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.034},
doi = {10.1016/J.IFACOL.2018.08.034},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/SmarraJMD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/SoudjaniM18,
author = {Sadegh Soudjani and
Rupak Majumdar},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Concentration of Measure for Chance-Constrained Optimization},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {277--282},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.047},
doi = {10.1016/J.IFACOL.2018.08.047},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/SoudjaniM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/TaousserDDDT18,
author = {Fatima Zohra Taousser and
Michael Defoort and
Mohamed Djemai and
Seddik M. Djouadi and
Kevin Tomsovic},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Stability of switched systems on non-uniform time domains with non
commuting matrices},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {37--42},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.007},
doi = {10.1016/J.IFACOL.2018.08.007},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/TaousserDDDT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/TranXBJ18,
author = {Hoang{-}Dung Tran and
Weiming Xiang and
Stanley Bak and
Taylor T. Johnson},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Reachability Analysis for One Dimensional Linear Parabolic Equations},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {133--138},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.023},
doi = {10.1016/J.IFACOL.2018.08.023},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/TranXBJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/Vazquez-Chanlatte18,
author = {Marcell Vazquez{-}Chanlatte and
Shromona Ghosh and
Vasumathi Raman and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Generating Dominant Strategies for Continuous Two-Player Zero-Sum
Games},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {7--12},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.002},
doi = {10.1016/J.IFACOL.2018.08.002},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/Vazquez-Chanlatte18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/VazquezGR18,
author = {Carlos Renato V{\'{a}}zquez and
David G{\'{o}}mez{-}Guti{\'{e}}rrez and
Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Observability of Linear Hybrid Systems with unknown inputs and discrete
dynamics modeled by Petri nets},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {163--168},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.028},
doi = {10.1016/J.IFACOL.2018.08.028},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/VazquezGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/WardiSE18,
author = {Yorai Wardi and
Carla Seatzu and
Magnus Egerstedt},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Tracking Control via Variable-gain Integrator and Lookahead Simulation:
Application to Leader-follower Multiagent Networks},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {217--222},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.037},
doi = {10.1016/J.IFACOL.2018.08.037},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/WardiSE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/YaghoubiF18,
author = {Shakiba Yaghoubi and
Georgios Fainekos},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Falsification of Temporal Logic Requirements Using Gradient Based
Local Search in Space and Time},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {103--108},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.018},
doi = {10.1016/J.IFACOL.2018.08.018},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/YaghoubiF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/ZapreevVM18,
author = {Ivan S. Zapreev and
Cees Verdier and
Manuel Mazo Jr.},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Optimal Symbolic Controllers Determinization for {BDD} storage},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {1--6},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.001},
doi = {10.1016/J.IFACOL.2018.08.001},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/ZapreevVM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adhs/2018,
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
publisher = {Elsevier},
year = {2018},
url = {https://www.sciencedirect.com/journal/ifac-papersonline/vol/51/issue/16},
timestamp = {Mon, 08 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-30 18:11 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
