Search 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 = {Thu, 25 May 2017 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 = {Thu, 25 May 2017 01:00:00 +0200},
  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, 25 May 2017 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, 02 Jun 2017 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 = {Fri, 02 Nov 2018 00:00:00 +0100},
  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 = {Fri, 02 Jun 2017 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 = {Thu, 25 May 2017 01:00:00 +0200},
  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, 02 Jun 2017 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 = {Sun, 02 Jun 2019 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 Schloss Dagstuhl - Leibniz Center for Informatics