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/hscc2004.bht:"
download as .bib file
@inproceedings{DBLP:conf/hybrid/AgrawalT04,
author = {Manindra Agrawal and
P. S. Thiagarajan},
editor = {Rajeev Alur and
George J. Pappas},
title = {Lazy Rectangular Hybrid Automata},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {1--15},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_1},
doi = {10.1007/978-3-540-24743-2\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AgrawalT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AmesS04,
author = {Aaron D. Ames and
Shankar Sastry},
editor = {Rajeev Alur and
George J. Pappas},
title = {Affine Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {16--31},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_2},
doi = {10.1007/978-3-540-24743-2\_2},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AmesS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AsarinD04,
author = {Eugene Asarin and
Thao Dang},
editor = {Rajeev Alur and
George J. Pappas},
title = {Abstraction by Projection and Application to Multi-affine Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {32--47},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_3},
doi = {10.1007/978-3-540-24743-2\_3},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AsarinD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BabaaliE04,
author = {Mohamed Babaali and
Magnus Egerstedt},
editor = {Rajeev Alur and
George J. Pappas},
title = {Observability of Switched Linear Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {48--63},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_4},
doi = {10.1007/978-3-540-24743-2\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BabaaliE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BalakrishnanHJT04,
author = {Hamsa Balakrishnan and
Inseok Hwang and
Jung Soon Jang and
Claire J. Tomlin},
editor = {Rajeev Alur and
George J. Pappas},
title = {Inference Methods for Autonomous Stochastic Linear Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {64--79},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_5},
doi = {10.1007/978-3-540-24743-2\_5},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BalakrishnanHJT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BalluchiNSS04,
author = {Andrea Balluchi and
Federico Di Natale and
Alberto L. Sangiovanni{-}Vincentelli and
Jan H. van Schuppen},
editor = {Rajeev Alur and
George J. Pappas},
title = {Synthesis for Idle Speed Control of an Automotive Engine},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {80--94},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_6},
doi = {10.1007/978-3-540-24743-2\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BalluchiNSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BayenRT04,
author = {Alexandre M. Bayen and
Robin L. Raffard and
Claire J. Tomlin},
editor = {Rajeev Alur and
George J. Pappas},
title = {Network Congestion Alleviation Using Adjoint Hybrid Control: Application
to Highways},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {95--110},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_7},
doi = {10.1007/978-3-540-24743-2\_7},
timestamp = {Thu, 26 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BayenRT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BeltaFHHIKR04,
author = {Calin Belta and
Peter Finin and
Luc C. G. J. M. Habets and
{\'{A}}d{\'{a}}m M. Hal{\'{a}}sz and
Marcin Imielinski and
Vijay Kumar and
Harvey Rubin},
editor = {Rajeev Alur and
George J. Pappas},
title = {Understanding the Bacterial Stringent Response Using Reachability
Analysis of Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {111--125},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_8},
doi = {10.1007/978-3-540-24743-2\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BeltaFHHIKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BemporadG04,
author = {Alberto Bemporad and
Nicol{\`{o}} Giorgetti},
editor = {Rajeev Alur and
George J. Pappas},
title = {A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {126--141},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_9},
doi = {10.1007/978-3-540-24743-2\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BemporadG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BhatiaF04,
author = {Amit Bhatia and
Emilio Frazzoli},
editor = {Rajeev Alur and
George J. Pappas},
title = {Incremental Search Methods for Reachability Analysis of Continuous
and Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {142--156},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_10},
doi = {10.1007/978-3-540-24743-2\_10},
timestamp = {Sat, 17 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BhatiaF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BicchiMP04,
author = {Antonio Bicchi and
Alessia Marigo and
Benedetto Piccoli},
editor = {Rajeev Alur and
George J. Pappas},
title = {Discrete and Hybrid Nonholonomy},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {157--172},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_11},
doi = {10.1007/978-3-540-24743-2\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BicchiMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BlondelNT04,
author = {Vincent D. Blondel and
Yurii E. Nesterov and
Jacques Theys},
editor = {Rajeev Alur and
George J. Pappas},
title = {Approximations of the Rate of Growth of Switched Linear Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {173--186},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_12},
doi = {10.1007/978-3-540-24743-2\_12},
timestamp = {Thu, 24 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BlondelNT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BonneuilS04,
author = {No{\"{e}}l Bonneuil and
Patrick Saint{-}Pierre},
editor = {Rajeev Alur and
George J. Pappas},
title = {The Hybrid Guaranteed Capture Basin Algorithm in Economics},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {187--202},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_13},
doi = {10.1007/978-3-540-24743-2\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BonneuilS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BouyerBL04,
author = {Patricia Bouyer and
Ed Brinksma and
Kim Guldstrand Larsen},
editor = {Rajeev Alur and
George J. Pappas},
title = {Staying Alive as Cheaply as Possible},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {203--218},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_14},
doi = {10.1007/978-3-540-24743-2\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BouyerBL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BrihayeMRT04,
author = {Thomas Brihaye and
Christian Michaux and
C{\'{e}}dric Rivi{\`{e}}re and
Christophe Troestler},
editor = {Rajeev Alur and
George J. Pappas},
title = {On O-Minimal Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {219--233},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_15},
doi = {10.1007/978-3-540-24743-2\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BrihayeMRT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Bujorianu04,
author = {Manuela{-}Luminita Bujorianu},
editor = {Rajeev Alur and
George J. Pappas},
title = {Extended Stochastic Hybrid Systems and Their Reachability Problem},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {234--249},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_16},
doi = {10.1007/978-3-540-24743-2\_16},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Bujorianu04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CamlibelHS04,
author = {M. Kanat Camlibel and
W. P. M. H. Heemels and
Johannes M. Schumacher},
editor = {Rajeev Alur and
George J. Pappas},
title = {On the Controllability of Bimodal Piecewise Linear Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {250--264},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_17},
doi = {10.1007/978-3-540-24743-2\_17},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CamlibelHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CollinsS04,
author = {Pieter Collins and
Jan H. van Schuppen},
editor = {Rajeev Alur and
George J. Pappas},
title = {Observability of Piecewise-Affine Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {265--279},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_18},
doi = {10.1007/978-3-540-24743-2\_18},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CollinsS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DavorenCMM04,
author = {Jennifer M. Davoren and
Vaughan Coulthard and
Nicolas Markey and
Thomas Moor},
editor = {Rajeev Alur and
George J. Pappas},
title = {Non-deterministic Temporal Logics for General Flow Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {280--295},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_19},
doi = {10.1007/978-3-540-24743-2\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/DavorenCMM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FehnkerI04,
author = {Ansgar Fehnker and
Franjo Ivancic},
editor = {Rajeev Alur and
George J. Pappas},
title = {Benchmarks for Hybrid Systems Verification},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {326--341},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_22},
doi = {10.1007/978-3-540-24743-2\_22},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FehnkerI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GeyerPM04,
author = {Tobias Geyer and
Georgios Papafotiou and
Manfred Morari},
editor = {Rajeev Alur and
George J. Pappas},
title = {On the Optimal Control of Switch-Mode {DC-DC} Converters},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {342--356},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_23},
doi = {10.1007/978-3-540-24743-2\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GeyerPM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GhosalHKS04,
author = {Arkadeb Ghosal and
Thomas A. Henzinger and
Christoph M. Kirsch and
Marco A. A. Sanvido},
editor = {Rajeev Alur and
George J. Pappas},
title = {Event-Driven Programming with Logical Execution Times},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {357--371},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_24},
doi = {10.1007/978-3-540-24743-2\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GhosalHKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GloverL04,
author = {William Glover and
John Lygeros},
editor = {Rajeev Alur and
George J. Pappas},
title = {A Stochastic Hybrid Model for Air Traffic Control Simulation},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {372--386},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_25},
doi = {10.1007/978-3-540-24743-2\_25},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GloverL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Hespanha04,
author = {Jo{\~{a}}o P. Hespanha},
editor = {Rajeev Alur and
George J. Pappas},
title = {Stochastic Hybrid Systems: Application to Communication Networks},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {387--401},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_26},
doi = {10.1007/978-3-540-24743-2\_26},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Hespanha04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HickeyW04,
author = {Timothy J. Hickey and
David K. Wittenberg},
editor = {Rajeev Alur and
George J. Pappas},
title = {Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {402--416},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_27},
doi = {10.1007/978-3-540-24743-2\_27},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HickeyW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HuWS04,
author = {Jianghai Hu and
Wei Chung Wu and
Shankar Sastry},
editor = {Rajeev Alur and
George J. Pappas},
title = {Modeling Subtilin Production in Bacillus subtilis Using Stochastic
Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {417--431},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_28},
doi = {10.1007/978-3-540-24743-2\_28},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HuWS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HurKLC04,
author = {Yerang Hur and
Jesung Kim and
Insup Lee and
Jin{-}Young Choi},
editor = {Rajeev Alur and
George J. Pappas},
title = {Sound Code Generation from Communicating Hybrid Models},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {432--447},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_29},
doi = {10.1007/978-3-540-24743-2\_29},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/HurKLC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KvasnicaGBM04,
author = {Michal Kvasnica and
Pascal Grieder and
Mato Baotic and
Manfred Morari},
editor = {Rajeev Alur and
George J. Pappas},
title = {Multi-Parametric Toolbox {(MPT)}},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {448--462},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_30},
doi = {10.1007/978-3-540-24743-2\_30},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KvasnicaGBM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LincolnT04,
author = {Patrick Lincoln and
Ashish Tiwari},
editor = {Rajeev Alur and
George J. Pappas},
title = {Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological
Networks},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {660--672},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_44},
doi = {10.1007/978-3-540-24743-2\_44},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/LincolnT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Neogi04,
author = {Natasha A. Neogi},
editor = {Rajeev Alur and
George J. Pappas},
title = {Dynamic Partitioning of Large Discrete Event Biological Systems for
Hybrid Simulation and Analysis},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {463--476},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_31},
doi = {10.1007/978-3-540-24743-2\_31},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Neogi04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PrajnaJ04,
author = {Stephen Prajna and
Ali Jadbabaie},
editor = {Rajeev Alur and
George J. Pappas},
title = {Safety Verification of Hybrid Systems Using Barrier Certificates},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {477--492},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_32},
doi = {10.1007/978-3-540-24743-2\_32},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PrajnaJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RosenqvistK04,
author = {Fredrik Rosenqvist and
Anders Karlstr{\"{o}}m},
editor = {Rajeev Alur and
George J. Pappas},
title = {Piecewise-Linear Output-Error Methods for Parameter Estimation in
Direction-Dependent Processes},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {493--507},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_33},
doi = {10.1007/978-3-540-24743-2\_33},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RosenqvistK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Rounds04,
author = {William C. Rounds},
editor = {Rajeev Alur and
George J. Pappas},
title = {A Spatial Logic for the Hybrid p-Calculus},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {508--522},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_34},
doi = {10.1007/978-3-540-24743-2\_34},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Rounds04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SanchezHTS04,
author = {Ren{\'{e}} Sanchez and
Roberto Horowitz and
Masayoshi Tomizuka and
Slobodan N. Simic},
editor = {Rajeev Alur and
George J. Pappas},
title = {Full Paper Sheet Control Using Hybrid Automata},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {523--538},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_35},
doi = {10.1007/978-3-540-24743-2\_35},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SanchezHTS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SankaranarayananSM04,
author = {Sriram Sankaranarayanan and
Henny Sipma and
Zohar Manna},
editor = {Rajeev Alur and
George J. Pappas},
title = {Constructing Invariants for Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {539--554},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_36},
doi = {10.1007/978-3-540-24743-2\_36},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SankaranarayananSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Schaft04,
author = {A. J. van der Schaft},
editor = {Rajeev Alur and
George J. Pappas},
title = {Bisimulation of Dynamical Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {555--569},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_37},
doi = {10.1007/978-3-540-24743-2\_37},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Schaft04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SubramanianALDG04,
author = {Dharmashankar Subramanian and
Kartik B. Ariyur and
Nitin Lamba and
Ranjana Deshpande and
Sonja Glavaski},
editor = {Rajeev Alur and
George J. Pappas},
title = {Control Design for a Hybrid Dynamic System: {A} {NASA} Life Support
System},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {570--584},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_38},
doi = {10.1007/978-3-540-24743-2\_38},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SubramanianALDG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SundaramH04,
author = {Shreyas Sundaram and
Christoforos N. Hadjicostis},
editor = {Rajeev Alur and
George J. Pappas},
title = {Non-concurrent Error Detection and Correction in Switched Linear Controllers},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {585--599},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_39},
doi = {10.1007/978-3-540-24743-2\_39},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SundaramH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TiwariK04,
author = {Ashish Tiwari and
Gaurav Khanna},
editor = {Rajeev Alur and
George J. Pappas},
title = {Nonlinear Systems: Approximating Reach Sets},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {600--614},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_40},
doi = {10.1007/978-3-540-24743-2\_40},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/TiwariK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/VecchioM04,
author = {Domitilla Del Vecchio and
Richard M. Murray},
editor = {Rajeev Alur and
George J. Pappas},
title = {Discrete State Estimators for a Class of Hybrid Systems on a Lattice},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {311--325},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_21},
doi = {10.1007/978-3-540-24743-2\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/VecchioM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WulfDR04,
author = {Martin De Wulf and
Laurent Doyen and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Rajeev Alur and
George J. Pappas},
title = {Almost {ASAP} Semantics: From Timed Models to Timed Implementations},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {296--310},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_20},
doi = {10.1007/978-3-540-24743-2\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/WulfDR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/XuZ04,
author = {Xuping Xu and
Guisheng Zhai},
editor = {Rajeev Alur and
George J. Pappas},
title = {On Practical Stability and Stabilization of Hybrid and Switched Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {615--630},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_41},
doi = {10.1007/978-3-540-24743-2\_41},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/XuZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/YfoulisS04,
author = {Christos A. Yfoulis and
Robert Shorten},
editor = {Rajeev Alur and
George J. Pappas},
title = {A Numerical Technique for Stability Analysis of Linear Switched Systems},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {631--645},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_42},
doi = {10.1007/978-3-540-24743-2\_42},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/YfoulisS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/YuanL04,
author = {Chenggui Yuan and
John Lygeros},
editor = {Rajeev Alur and
George J. Pappas},
title = {Asymptotic Stability and Boundedness of Delay Switching Diffusions},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {646--659},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_43},
doi = {10.1007/978-3-540-24743-2\_43},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/YuanL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2004,
editor = {Rajeev Alur and
George J. Pappas},
title = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b96398},
doi = {10.1007/B96398},
isbn = {3-540-21259-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/2004.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-25 12:47 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:
