Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/hybrid/0001SDJ16,
  author       = {Aditya Zutshi and
                  Sriram Sankaranarayanan and
                  Jyotirmoy V. Deshmukh and
                  Xiaoqing Jin},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {135--144},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883819},
  doi          = {10.1145/2883817.2883819},
  timestamp    = {Fri, 13 Aug 2021 11:37:40 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/0001SDJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AbbasJJM16,
  author       = {Houssam Abbas and
                  Kuk Jin Jang and
                  Zhihao Jiang and
                  Rahul Mangharam},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Towards Model Checking of Implantable Cardioverter Defibrillators},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {87--92},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883841},
  doi          = {10.1145/2883817.2883841},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/AbbasJJM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AhnV16,
  author       = {Heejin Ahn and
                  Domitilla Del Vecchio},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Semi-autonomous Intersection Collision Avoidance through Job-shop
                  Scheduling},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {185--194},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883830},
  doi          = {10.1145/2883817.2883830},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/AhnV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurMT16,
  author       = {Rajeev Alur and
                  Salar Moarref and
                  Ufuk Topcu},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Compositional Synthesis with Parametric Reactive Controllers},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {215--224},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883842},
  doi          = {10.1145/2883817.2883842},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/AlurMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AthanasopoulosJ16,
  author       = {Nikolaos Athanasopoulos and
                  Rapha{\"{e}}l M. Jungers},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Computing the Domain of Attraction of Switching Systems Subject to
                  Non-Convex Constraints},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {41--50},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883823},
  doi          = {10.1145/2883817.2883823},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/AthanasopoulosJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BaeOKGC16,
  author       = {Kyungmin Bae and
                  Peter Csaba {\"{O}}lveczky and
                  Soonho Kong and
                  Sicun Gao and
                  Edmund M. Clarke},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {145--154},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883849},
  doi          = {10.1145/2883817.2883849},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/BaeOKGC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BakBHJP16,
  author       = {Stanley Bak and
                  Sergiy Bogomolov and
                  Thomas A. Henzinger and
                  Taylor T. Johnson and
                  Pradyot Prakash},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Scalable Static Hybridization Methods for Analysis of Nonlinear Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {155--164},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883837},
  doi          = {10.1145/2883817.2883837},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BakBHJP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BarbotKMP16,
  author       = {Beno{\^{\i}}t Barbot and
                  Marta Kwiatkowska and
                  Alexandru Mereacre and
                  Nicola Paoletti},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Building Power Consumption Models from Executable Timed {I/O} Automata
                  Specifications},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {195--204},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883844},
  doi          = {10.1145/2883817.2883844},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BarbotKMP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BombaraVPYB16,
  author       = {Giuseppe Bombara and
                  Cristian Ioan Vasile and
                  Francisco Penedo and
                  Hirotoshi Yasuoka and
                  Calin Belta},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {A Decision Tree Approach to Data Classification using Signal Temporal
                  Logic},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883843},
  doi          = {10.1145/2883817.2883843},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BombaraVPYB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DaiK16,
  author       = {Siyuan Dai and
                  Xenofon D. Koutsoukos},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian
                  Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {105--114},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883845},
  doi          = {10.1145/2883817.2883845},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/DaiK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DeCastroK16,
  author       = {Jonathan A. DeCastro and
                  Hadas Kress{-}Gazit},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Nonlinear Controller Synthesis and Automatic Workspace Partitioning
                  for Reactive High-Level Behaviors},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {225--234},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883832},
  doi          = {10.1145/2883817.2883832},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/DeCastroK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DreossiDP16,
  author       = {Tommaso Dreossi and
                  Thao Dang and
                  Carla Piazza},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Parallelotope Bundles for Polynomial Reachability},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {297--306},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883838},
  doi          = {10.1145/2883817.2883838},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/DreossiDP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FribourgGPM16,
  author       = {Laurent Fribourg and
                  Eric Goubault and
                  Sylvie Putot and
                  Sameh Mohamed},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {A Topological Method for Finding Invariant Sets of Switched Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {61--70},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883822},
  doi          = {10.1145/2883817.2883822},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/FribourgGPM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GhoshSNRDSSS16,
  author       = {Shromona Ghosh and
                  Dorsa Sadigh and
                  Pierluigi Nuzzo and
                  Vasumathi Raman and
                  Alexandre Donz{\'{e}} and
                  Alberto L. Sangiovanni{-}Vincentelli and
                  S. Shankar Sastry and
                  Sanjit A. Seshia},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {31--40},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883847},
  doi          = {10.1145/2883817.2883847},
  timestamp    = {Mon, 15 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/GhoshSNRDSSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Hirche16,
  author       = {Sandra Hirche},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Optimal Co-Design of Scheduling and Control for Networked Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {245},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883818},
  doi          = {10.1145/2883817.2883818},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/Hirche16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KhatibGD16,
  author       = {Mohammad Al Khatib and
                  Antoine Girard and
                  Thao Dang},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Verification and Synthesis of Timing Contracts for Embedded Controllers},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {115--124},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883827},
  doi          = {10.1145/2883817.2883827},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/KhatibGD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KimAS16,
  author       = {Eric S. Kim and
                  Murat Arcak and
                  Sanjit A. Seshia},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Directed Specifications and Assumption Mining for Monotone Dynamical
                  Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {21--30},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883833},
  doi          = {10.1145/2883817.2883833},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/KimAS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KozarevQHT16,
  author       = {Alexandar Kozarev and
                  John F. Quindlen and
                  Jonathan P. How and
                  Ufuk Topcu},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Case Studies in Data-Driven Verification of Dynamical Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {81--86},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883846},
  doi          = {10.1145/2883817.2883846},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/KozarevQHT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LegatJP16,
  author       = {Beno{\^{\i}}t Legat and
                  Rapha{\"{e}}l M. Jungers and
                  Pablo A. Parrilo},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares
                  Techniques},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {51--60},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883821},
  doi          = {10.1145/2883817.2883821},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/LegatJP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LiberzonM16,
  author       = {Daniel Liberzon and
                  Sayan Mitra},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Entropy and Minimal Data Rates for State Estimation and Model Detection},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {247--256},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883820},
  doi          = {10.1145/2883817.2883820},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/LiberzonM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MajumdarP16,
  author       = {Rupak Majumdar and
                  Vinayak S. Prabhu},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Computing Distances between Reach Flowpipes},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {267--276},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883850},
  doi          = {10.1145/2883817.2883850},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/MajumdarP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MinopoliF16,
  author       = {Stefano Minopoli and
                  Goran Frehse},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {{SL2SX} Translator: From Simulink to SpaceEx Models},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {93--98},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883826},
  doi          = {10.1145/2883817.2883826},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/MinopoliF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MinopoliF16a,
  author       = {Stefano Minopoli and
                  Goran Frehse},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {From Simulation Models to Hybrid Automata Using Urgency and Relaxation},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {287--296},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883825},
  doi          = {10.1145/2883817.2883825},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/MinopoliF16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NilssonO16,
  author       = {Petter Nilsson and
                  Necmiye Ozay},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Control Synthesis for Large Collections of Systems with Mode-Counting
                  Constraints},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {205--214},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883831},
  doi          = {10.1145/2883817.2883831},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/NilssonO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NoesseltSL16,
  author       = {Tobias Noesselt and
                  Matthias Schultalbers and
                  Jan Lunze},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Event-Separation Properties and Asymptotic Behaviour of Hybrid Event-Based
                  Control Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {175--184},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883835},
  doi          = {10.1145/2883817.2883835},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/NoesseltSL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PrabhakarS16,
  author       = {Pavithra Prabhakar and
                  Miriam Garcia Soto},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Hybridization for Stability Analysis of Switched Linear Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {71--80},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883840},
  doi          = {10.1145/2883817.2883840},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/PrabhakarS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RodionovaBNG16,
  author       = {Al{\"{e}}na Rodionova and
                  Ezio Bartocci and
                  Dejan Nickovic and
                  Radu Grosu},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Temporal Logic as Filtering},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883839},
  doi          = {10.1145/2883817.2883839},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/RodionovaBNG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RoehmOWA16,
  author       = {Hendrik Roehm and
                  Jens Oehlerking and
                  Matthias Woehrle and
                  Matthias Althoff},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Reachset Conformance Testing of Hybrid Automata},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {277--286},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883828},
  doi          = {10.1145/2883817.2883828},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/RoehmOWA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RunggerZ16,
  author       = {Matthias Rungger and
                  Majid Zamani},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {{SCOTS:} {A} Tool for the Synthesis of Symbolic Controllers},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {99--104},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883834},
  doi          = {10.1145/2883817.2883834},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/RunggerZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Sanfelice16,
  author       = {Ricardo G. Sanfelice},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov
                  Functions},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {235--244},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883848},
  doi          = {10.1145/2883817.2883848},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Sanfelice16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/VilgelmMKH16,
  author       = {Mikhail Vilgelm and
                  Mohammad H. Mamduhi and
                  Wolfgang Kellerer and
                  Sandra Hirche},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Adaptive Decentralized {MAC} for Event-Triggered Networked Control
                  Systems},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {165--174},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883829},
  doi          = {10.1145/2883817.2883829},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/VilgelmMKH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WangGRJF16,
  author       = {Timothy E. Wang and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Pierre Roux and
                  Romain Jobredeaux and
                  Eric Feron},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Formal Analysis of Robustness at Model and Code Level},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {125--134},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883824},
  doi          = {10.1145/2883817.2883824},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/WangGRJF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WisniewskiSBP16,
  author       = {Rafael Wisniewski and
                  Christoffer Sloth and
                  Manuela{-}Luminita Bujorianu and
                  Nir Piterman},
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Safety Verification of Piecewise-Deterministic Markov Processes},
  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  pages        = {257--266},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817.2883836},
  doi          = {10.1145/2883817.2883836},
  timestamp    = {Tue, 21 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/WisniewskiSBP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2016,
  editor       = {Alessandro Abate and
                  Georgios Fainekos},
  title        = {Proceedings of the 19th International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
                  2016},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2883817},
  doi          = {10.1145/2883817},
  isbn         = {978-1-4503-3955-1},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics