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/hscc2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/hybrid/AkbarpourP09,
author = {Behzad Akbarpour and
Lawrence C. Paulson},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Applications of MetiTarski in the Verification of Control and Hybrid
Systems},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {1--15},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_1},
doi = {10.1007/978-3-642-00602-9\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AkbarpourP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AmesSW09,
author = {Aaron D. Ames and
Ryan W. Sinnet and
Eric D. B. Wendel},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Three-Dimensional Kneed Bipedal Walking: {A} Hybrid Geometric Approach},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {16--30},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_2},
doi = {10.1007/978-3-642-00602-9\_2},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AmesSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AminCS09,
author = {Saurabh Amin and
Alvaro A. C{\'{a}}rdenas and
Shankar Sastry},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Safe and Secure Networked Control Systems under Denial-of-Service
Attacks},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {31--45},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_3},
doi = {10.1007/978-3-642-00602-9\_3},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AminCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BernardiniPBF09,
author = {Daniele Bernardini and
David Mu{\~{n}}oz de la Pe{\~{n}}a and
Alberto Bemporad and
Emilio Frazzoli},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Simultaneous Optimal Control and Discrete Stochastic Sensor Selection},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {61--75},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_5},
doi = {10.1007/978-3-642-00602-9\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BernardiniPBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BorriBB09,
author = {Alessandro Borri and
Maria Domenica Di Benedetto and
Maria{-}Gabriella Di Benedetto},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Hybrid Modelling, Power Management and Stabilization of Cognitive
Radio Networks},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {76--89},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_6},
doi = {10.1007/978-3-642-00602-9\_6},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BorriBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CaspiBLT09,
author = {Paul Caspi and
Albert Benveniste and
Roberto Lublinerman and
Stavros Tripakis},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Actors without Directors: {A} Kahnian View of Heterogeneous Systems},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {46--60},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_4},
doi = {10.1007/978-3-642-00602-9\_4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/CaspiBLT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CassezJLRR09,
author = {Franck Cassez and
Jan Jakob Jessen and
Kim Guldstrand Larsen and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Automatic Synthesis of Robust and Optimal Controllers - An Industrial
Case Study},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {90--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_7},
doi = {10.1007/978-3-642-00602-9\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/CassezJLRR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CinquemaniMSL09,
author = {Eugenio Cinquemani and
Andreas Milias{-}Argeitis and
Sean Summers and
John Lygeros},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Local Identification of Piecewise Deterministic Models of Genetic
Networks},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {105--119},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_8},
doi = {10.1007/978-3-642-00602-9\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CinquemaniMSL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Cortes09,
author = {Jorge Cort{\'{e}}s},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Distributed Wombling by Robotic Sensor Networks},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {120--134},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_9},
doi = {10.1007/978-3-642-00602-9\_9},
timestamp = {Fri, 30 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Cortes09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Davoren09,
author = {Jennifer M. Davoren},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {135--149},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_10},
doi = {10.1007/978-3-642-00602-9\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Davoren09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DonkersHHWS09,
author = {M. C. F. Donkers and
Laurentiu Hetel and
W. P. M. H. Heemels and
Nathan van de Wouw and
Maarten Steinbuch},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Stability Analysis of Networked Control Systems Using a Switched Linear
Systems Approach},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {150--164},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_11},
doi = {10.1007/978-3-642-00602-9\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DonkersHHWS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DonzeKR09,
author = {Alexandre Donz{\'{e}} and
Bruce H. Krogh and
Akshay Rajhans},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Parameter Synthesis for Hybrid Systems with an Application to Simulink
Models},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {165--179},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_12},
doi = {10.1007/978-3-642-00602-9\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DonzeKR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FontanelliPP09,
author = {Daniele Fontanelli and
Luigi Palopoli and
Roberto Passerone},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Convergence of Distributed {WSN} Algorithms: The Wake-Up Scattering
Problem},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {180--193},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_13},
doi = {10.1007/978-3-642-00602-9\_13},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FontanelliPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Grosu09,
author = {Radu Grosu},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Finite Automata as Time-Inv Linear Systems Observability, Reachability
and More},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {194--208},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_14},
doi = {10.1007/978-3-642-00602-9\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Grosu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HanteL09,
author = {Falk M. Hante and
G{\"{u}}nter Leugering},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Optimal Boundary Control of Convention-Reaction Transport Systems
with Binary Control Functions},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {209--222},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_15},
doi = {10.1007/978-3-642-00602-9\_15},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HanteL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/JuliusP09,
author = {A. Agung Julius and
George J. Pappas},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Trajectory Based Verification Using Local Finite-Time Invariance},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {223--236},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_16},
doi = {10.1007/978-3-642-00602-9\_16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/JuliusP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LazarJ09,
author = {Mircea Lazar and
Andrej Jokic},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Synthesis of Trajectory-Dependent Control Lyapunov Functions by a
Single Linear Program},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {237--251},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_17},
doi = {10.1007/978-3-642-00602-9\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LazarJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Lee09,
author = {Ji{-}Woong Lee},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Uniform Consensus among Self-driven Particles},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {252--261},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_18},
doi = {10.1007/978-3-642-00602-9\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Lee09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MartiVB09,
author = {Pau Mart{\'{\i}} and
Manel Velasco and
Enrico Bini},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {The Optimal Boundary and Regulator Design Problem for Event-Driven
Controllers},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {441--444},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_31},
doi = {10.1007/978-3-642-00602-9\_31},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/MartiVB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MartinE09,
author = {Patrick Martin and
Magnus Egerstedt},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Optimization of Multi-agent Motion Programs with Applications to Robotic
Marionettes},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {262--275},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_19},
doi = {10.1007/978-3-642-00602-9\_19},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/MartinE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MatringeMR09,
author = {Nadir Matringe and
Arnaldo Vieira Moura and
Rachid Rebiha},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic
Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {445--449},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_32},
doi = {10.1007/978-3-642-00602-9\_32},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/MatringeMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NakamuraF09,
author = {Katsunori Nakamura and
Akira Fusaoka},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {450--454},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_33},
doi = {10.1007/978-3-642-00602-9\_33},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NakamuraF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Nakura09,
author = {Gou Nakura},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Stochastic Optimal Tracking with Preview for Linear Discrete-Time
Markovian Jump Systems (Extended Abstract)},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {455--459},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_34},
doi = {10.1007/978-3-642-00602-9\_34},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Nakura09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/OehlerkingT09,
author = {Jens Oehlerking and
Oliver E. Theel},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Decompositional Construction of Lyapunov Functions for Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {276--290},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_20},
doi = {10.1007/978-3-642-00602-9\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/OehlerkingT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/OrA09,
author = {Yizhar Or and
Aaron D. Ames},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian
Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {291--305},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_21},
doi = {10.1007/978-3-642-00602-9\_21},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/OrA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Reissig09,
author = {Gunther Rei{\ss}ig},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Computation of Discrete Abstractions of Arbitrary Memory Span for
Nonlinear Sampled Systems},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {306--320},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_22},
doi = {10.1007/978-3-642-00602-9\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Reissig09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RileyKR09,
author = {Derek Riley and
Xenofon D. Koutsoukos and
Kasandra Riley},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Reachability Analysis for Stochastic Hybrid Systems Using Multilevel
Splitting},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {460--464},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_35},
doi = {10.1007/978-3-642-00602-9\_35},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RileyKR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RipaccioliBADCK09,
author = {Giulio Ripaccioli and
Alberto Bemporad and
Francis Assadian and
Clement Dextreit and
Stefano Di Cairano and
Ilya V. Kolmanovsky},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Hybrid Modeling, Identification, and Predictive Control: An Application
to Hybrid Electric Vehicle Energy Management},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {321--335},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_23},
doi = {10.1007/978-3-642-00602-9\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/RipaccioliBADCK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SchildEL09,
author = {Axel Schild and
Magnus Egerstedt and
Jan Lunze},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Orbital Control for a Class of Planar Impulsive Hybrid Systems with
Controllable Resets},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {465--469},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_36},
doi = {10.1007/978-3-642-00602-9\_36},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SchildEL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SchureskoC09,
author = {Michael Schuresko and
Jorge Cort{\'{e}}s},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Distributed Tree Rearrangements for Reachability and Robust Connectivity},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {470--474},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_37},
doi = {10.1007/978-3-642-00602-9\_37},
timestamp = {Fri, 30 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SchureskoC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/SijsL09,
author = {Joris Sijs and
Mircea Lazar},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {On Event Based State Estimation},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {336--350},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_24},
doi = {10.1007/978-3-642-00602-9\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SijsL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TaringooC09,
author = {Farzin Taringoo and
Peter E. Caines},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect
to Switching Manifold Parameters},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {475--479},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_38},
doi = {10.1007/978-3-642-00602-9\_38},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/TaringooC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TazakiI09,
author = {Yuichi Tazaki and
Jun{-}ichi Imura},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution
Quantizer},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {351--365},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_25},
doi = {10.1007/978-3-642-00602-9\_25},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/TazakiI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/VladimerouPVD09,
author = {Vladimeros Vladimerou and
Pavithra Prabhakar and
Mahesh Viswanathan and
Geir E. Dullerud},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {{STORMED} Hybrid Games},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {480--484},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_39},
doi = {10.1007/978-3-642-00602-9\_39},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/VladimerouPVD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Wang09,
author = {Farn Wang},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Symbolic Branching Bisimulation-Checking of Dense-Time Systems in
an Environment},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {485--489},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_40},
doi = {10.1007/978-3-642-00602-9\_40},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Wang09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WangL09,
author = {Xiaofeng Wang and
Michael D. Lemmon},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Event-Triggering in Distributed Networked Systems with Data Dropouts
and Delays},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {366--380},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_26},
doi = {10.1007/978-3-642-00602-9\_26},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/WangL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WeissFAA09,
author = {Gera Weiss and
Sebastian Fischmeister and
Madhukar Anand and
Rajeev Alur},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Specification and Analysis of Network Resource Requirements of Control
Systems},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {381--395},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_27},
doi = {10.1007/978-3-642-00602-9\_27},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/WeissFAA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/WongpiromsarnMML09,
author = {Tichakorn Wongpiromsarn and
Sayan Mitra and
Richard M. Murray and
Andrew G. Lamperski},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Periodically Controlled Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {396--410},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_28},
doi = {10.1007/978-3-642-00602-9\_28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/WongpiromsarnMML09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ZhangAH09,
author = {Wei Zhang and
Alessandro Abate and
Jianghai Hu},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Stabilization of Discrete-Time Switched Linear Systems: {A} Control-Lyapunov
Function Approach},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {411--425},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_29},
doi = {10.1007/978-3-642-00602-9\_29},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ZhangAH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ZhengG09,
author = {Gang Zheng and
Antoine Girard},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Bounded and Unbounded Safety Verification Using Bisimulation Metrics},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {426--440},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_30},
doi = {10.1007/978-3-642-00602-9\_30},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ZhengG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hybrid/2009,
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9},
doi = {10.1007/978-3-642-00602-9},
isbn = {978-3-642-00601-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/2009.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 19:00 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:
