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