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/hybrid/hscc2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/hybrid/Batt14,
author = {Gr{\'{e}}gory Batt},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Cells driven by computers: long-term model predictive control of gene
expression in yeast},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {143--144},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562144},
doi = {10.1145/2562059.2562144},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/Batt14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BenvenisteBCPP14,
author = {Albert Benveniste and
Timothy Bourke and
Beno{\^{\i}}t Caillaud and
Bruno Pagano and
Marc Pouzet},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {A type-based analysis of causality loops in hybrid systems modelers},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {71--82},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562125},
doi = {10.1145/2562059.2562125},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BenvenisteBCPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BogomolovHMWP14,
author = {Sergiy Bogomolov and
Christian Herrera and
Marco Mu{\~{n}}iz and
Bernd Westphal and
Andreas Podelski},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Quasi-dependent variables in hybrid automata},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {93--102},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562142},
doi = {10.1145/2562059.2562142},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BogomolovHMWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BorgersH14,
author = {Dominicus P. Borgers and
Maurice Heemels},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Stability analysis of large-scale networked control systems with local
networks: a hybrid small-gain approach},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {103--112},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562129},
doi = {10.1145/2562059.2562129},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BorgersH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BrenguierCR14,
author = {Romain Brenguier and
Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Energy and mean-payoff timed games},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {283--292},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562116},
doi = {10.1145/2562059.2562116},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BrenguierCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BrunnerLA14,
author = {Florian David Brunner and
Mircea Lazar and
Frank Allg{\"{o}}wer},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Computation of piecewise affine terminal cost functions for model
predictive control},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {1--10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562108},
doi = {10.1145/2562059.2562108},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BrunnerLA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ChatterjeeIM14,
author = {Krishnendu Chatterjee and
Rasmus Ibsen{-}Jensen and
Rupak Majumdar},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Edit distance for timed automata},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {303--312},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562141},
doi = {10.1145/2562059.2562141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/ChatterjeeIM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DammMR14,
author = {Werner Damm and
Eike M{\"{o}}hlmann and
Astrid Rakow},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Component based design of hybrid systems: a case study on concurrency
and coupling},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {145--150},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562120},
doi = {10.1145/2562059.2562120},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DammMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DreossiD14,
author = {Tommaso Dreossi and
Thao Dang},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Parameter synthesis for polynomial biological models},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {233--242},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562123},
doi = {10.1145/2562059.2562123},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DreossiD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/EhlersT14,
author = {R{\"{u}}diger Ehlers and
Ufuk Topcu},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Resilience to intermittent assumption violations in reactive synthesis},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {203--212},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562128},
doi = {10.1145/2562059.2562128},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/EhlersT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GillulaKT14,
author = {Jeremy H. Gillula and
Shahab Kaynama and
Claire J. Tomlin},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Sampling-based approximation of the viability kernel for high-dimensional
linear sampled-data systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {173--182},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562117},
doi = {10.1145/2562059.2562117},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/GillulaKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GoubaultMPK14,
author = {Eric Goubault and
Olivier Mullier and
Sylvie Putot and
Michel Kieffer},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Inner approximated reachability analysis},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {163--172},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562113},
doi = {10.1145/2562059.2562113},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/GoubaultMPK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HenzingerO14,
author = {Thomas A. Henzinger and
Jan Otop},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Model measuring for hybrid systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {213--222},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562130},
doi = {10.1145/2562059.2562130},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HenzingerO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HereidKJWHA14,
author = {Ayonga Hereid and
Shishir Kolathaya and
Mikhail S. Jones and
Johnathan Van Why and
Jonathan W. Hurst and
Aaron D. Ames},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Dynamic multi-domain bipedal walking with atrias through {SLIP} based
human-inspired control},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {263--272},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562143},
doi = {10.1145/2562059.2562143},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HereidKJWHA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HuangM14,
author = {Zhenqi Huang and
Sayan Mitra},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Proofs from simulations and modular annotations},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {183--192},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562126},
doi = {10.1145/2562059.2562126},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HuangM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/IslamMGSG14,
author = {Md. Ariful Islam and
Abhishek Murthy and
Antoine Girard and
Scott A. Smolka and
Radu Grosu},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Compositionality results for cardiac cell dynamics},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {243--252},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562138},
doi = {10.1145/2562059.2562138},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/IslamMGSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/JinDKUB14,
author = {Xiaoqing Jin and
Jyotirmoy V. Deshmukh and
James Kapinski and
Koichi Ueda and
Kenneth R. Butts},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Powertrain control verification benchmark},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {253--262},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562140},
doi = {10.1145/2562059.2562140},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/JinDKUB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KapinskiDSA14,
author = {James Kapinski and
Jyotirmoy V. Deshmukh and
Sriram Sankaranarayanan and
Nikos Ar{\'{e}}chiga},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Simulation-guided lyapunov analysis for hybrid dynamical systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {133--142},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562139},
doi = {10.1145/2562059.2562139},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KapinskiDSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KongJAGB14,
author = {Zhaodan Kong and
Austin Jones and
Ana Medina Ayala and
Ebru Aydin Gol and
Calin Belta},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Temporal logic inference for classification and prediction from data},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {273--282},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562146},
doi = {10.1145/2562059.2562146},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/KongJAGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KunduC14,
author = {Atreyee Kundu and
Debasish Chatterjee},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Stabilizing discrete-time switched linear systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {11--20},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562114},
doi = {10.1145/2562059.2562114},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/KunduC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LiuO14,
author = {Jun Liu and
Necmiye Ozay},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Abstraction, discretization, and robustness in temporal logic control
of dynamical systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {293--302},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562137},
doi = {10.1145/2562059.2562137},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/LiuO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MaloneLOT14,
author = {Nick Malone and
Kendra Lesser and
Meeko M. K. Oishi and
Lydia Tapia},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Stochastic reachability based motion planning for multiple moving
obstacle avoidance},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {51--60},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562127},
doi = {10.1145/2562059.2562127},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/MaloneLOT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MostermanSZH14,
author = {Pieter J. Mosterman and
Gabor Simko and
Justyna Zander and
Zhi Han},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {A hyperdense semantic domain for hybrid dynamic systems to model different
classes of discontinuities},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {83--92},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562135},
doi = {10.1145/2562059.2562135},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/MostermanSZH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PapadopoulosP14,
author = {Alessandro Vittorio Papadopoulos and
Maria Prandini},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Model reduction of switched affine systems: a method based on balanced
truncation and randomized optimization},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {113--122},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562131},
doi = {10.1145/2562059.2562131},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/PapadopoulosP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RiedingerV14,
author = {Pierre Riedinger and
Jean{-}Claude Vivalda},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {An {LQ} sub-optimal stabilizing feedback law for switched linear systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {21--30},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562121},
doi = {10.1145/2562059.2562121},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/RiedingerV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RunggerT14,
author = {Matthias Rungger and
Paulo Tabuada},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Abstracting and refining robustness for cyber-physical systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {223--232},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562133},
doi = {10.1145/2562059.2562133},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RunggerT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SimkoJ14,
author = {Gabor Simko and
Ethan K. Jackson},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {A bounded model checking tool for periodic sample-hold systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {157--162},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562134},
doi = {10.1145/2562059.2562134},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/SimkoJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SistlaZFB14,
author = {A. Prasad Sistla and
Milos Zefran and
Yao Feng and
Yue Ben},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Timely monitoring of partially observable stochastic systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {61--70},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562136},
doi = {10.1145/2562059.2562136},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/SistlaZFB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SlothW14,
author = {Christoffer Sloth and
Rafael Wisniewski},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Control to facet for polynomial systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {123--132},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562132},
doi = {10.1145/2562059.2562132},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/SlothW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TkachevA14,
author = {Ilya Tkachev and
Alessandro Abate},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {On approximation metrics for linear temporal model-checking of stochastic
systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {193--202},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562118},
doi = {10.1145/2562059.2562118},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/TkachevA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/VankeerberghenHJ14,
author = {Guillaume Vankeerberghen and
Julien M. Hendrickx and
Rapha{\"{e}}l M. Jungers},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {{JSR:} a toolbox to compute the joint spectral radius},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {151--156},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562124},
doi = {10.1145/2562059.2562124},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/VankeerberghenHJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/XiongL14,
author = {Sihan Xiong and
Ji{-}Woong Lee},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {State-feedback stabilization of discrete-time piecewise affine systems},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {31--40},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562122},
doi = {10.1145/2562059.2562122},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/XiongL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ZamaniTA14,
author = {Majid Zamani and
Ilya Tkachev and
Alessandro Abate},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Bisimilar symbolic models for stochastic control systems without state-space
discretization},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {41--50},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562115},
doi = {10.1145/2562059.2562115},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/ZamaniTA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2014,
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2562059},
isbn = {978-1-4503-2732-9},
timestamp = {Tue, 22 Apr 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/2014.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-04-23 12:16 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:
