Search dblp for Publications

export results for "toc:db/conf/hybrid/hscc2003.bht:"

 download as .bib file

@inproceedings{DBLP:conf/hybrid/AlurDI03,
  author       = {Rajeev Alur and
                  Thao Dang and
                  Franjo Ivancic},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Progress on Reachability Analysis of Hybrid Systems Using Predicate
                  Abstraction},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {4--19},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_4},
  doi          = {10.1007/3-540-36580-X\_4},
  timestamp    = {Thu, 05 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/AlurDI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/AsarinDG03,
  author       = {Eugene Asarin and
                  Thao Dang and
                  Antoine Girard},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Reachability Analysis of Nonlinear Systems Using Conservative Approximation},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {20--35},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_5},
  doi          = {10.1007/3-540-36580-X\_5},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/AsarinDG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/AustinE03,
  author       = {Adam Austin and
                  Magnus Egerstedt},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Mode Reconstruction for Source Coding and Multi-modal Control},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {36--49},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_6},
  doi          = {10.1007/3-540-36580-X\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/AustinE03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BakBR03,
  author       = {Thomas Bak and
                  Jan Dimon Bendtsen and
                  Anders P. Ravn},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Hybrid Control Design for a Wheeled Mobile Robot},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {50--65},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_7},
  doi          = {10.1007/3-540-36580-X\_7},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BakBR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BarajasKSEGK03,
  author       = {Leandro G. Barajas and
                  Ashish Kansal and
                  Abhinav Saxena and
                  Magnus Egerstedt and
                  Alex Goldstein and
                  Edward W. Kamen},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Modeling and Control of {SMT} Manufacturing Lines Using Hybrid Dynamic
                  Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {66--80},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_8},
  doi          = {10.1007/3-540-36580-X\_8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BarajasKSEGK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BemporadBM03,
  author       = {Alberto Bemporad and
                  Pandeli Borodani and
                  Massimo Mannelli},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Hybrid Control of an Automotive Robotized Gearbox for Reduction of
                  Consumptions and Emissions},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {81--96},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_9},
  doi          = {10.1007/3-540-36580-X\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BemporadBM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BemporadGPV03,
  author       = {Alberto Bemporad and
                  Andrea Garulli and
                  Simone Paoletti and
                  Antonio Vicino},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {A Greedy Approach to Identification of Piecewise Affine Models},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {97--112},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_10},
  doi          = {10.1007/3-540-36580-X\_10},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/BemporadGPV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Berlinski03,
  author       = {David Berlinski},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {The Mathematics of Matter and the Mathematics of Mind},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {1},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_1},
  doi          = {10.1007/3-540-36580-X\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Berlinski03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BoultonHM03,
  author       = {Richard J. Boulton and
                  Ruth Hardy and
                  Ursula Martin},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {A Hoare Logic for Single-Input Single-Output Continuous-Time Control
                  Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {113--125},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_11},
  doi          = {10.1007/3-540-36580-X\_11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BoultonHM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BujorianuL03,
  author       = {Manuela{-}Luminita Bujorianu and
                  John Lygeros},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Reachability Questions in Piecewise Deterministic Markov Processes},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {126--140},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_12},
  doi          = {10.1007/3-540-36580-X\_12},
  timestamp    = {Tue, 21 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BujorianuL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/DumasR03,
  author       = {Jean{-}Guillaume Dumas and
                  Aude Rondepierre},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise
                  Affine Hybrid System},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {156--171},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_14},
  doi          = {10.1007/3-540-36580-X\_14},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/DumasR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/El-FarraC03,
  author       = {Nael H. El{-}Farra and
                  Panagiotis D. Christofides},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control
                  Actuators},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {172--187},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_15},
  doi          = {10.1007/3-540-36580-X\_15},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/El-FarraC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Ferrari-TrecateS03,
  author       = {Giancarlo Ferrari{-}Trecate and
                  Michael Schinkel},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Conditions of Optimal Classification for Piecewise Affine Regression},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {188--202},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_16},
  doi          = {10.1007/3-540-36580-X\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Ferrari-TrecateS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/GaoLQS03,
  author       = {Yan Gao and
                  John Lygeros and
                  Marc Quincampoix and
                  Nicolas Seube},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Approximate Stabilisation of Uncertain Hybrid Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {203--215},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_17},
  doi          = {10.1007/3-540-36580-X\_17},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/GaoLQS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/GeyerTM03,
  author       = {Tobias Geyer and
                  Fabio Danilo Torrisi and
                  Manfred Morari},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Efficient Mode Enumeration of Compositional Hybrid Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {216--232},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_18},
  doi          = {10.1007/3-540-36580-X\_18},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/GeyerTM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/GhoshTT03,
  author       = {Ronojoy Ghosh and
                  Ashish Tiwari and
                  Claire J. Tomlin},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Automated Symbolic Reachability Analysis; with Application to Delta-Notch
                  Signaling Automata},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {233--248},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_19},
  doi          = {10.1007/3-540-36580-X\_19},
  timestamp    = {Thu, 26 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/GhoshTT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Harel03,
  author       = {David Harel},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {2},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_2},
  doi          = {10.1007/3-540-36580-X\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Harel03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/HeemelsCSS03,
  author       = {W. P. M. H. Heemels and
                  M. Kanat Camlibel and
                  A. J. van der Schaft and
                  Johannes M. Schumacher},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Modelling, Well-Posedness, Stability of Switched Electrical Networks},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {249--266},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_20},
  doi          = {10.1007/3-540-36580-X\_20},
  timestamp    = {Wed, 10 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/HeemelsCSS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/JongGHPSG03,
  author       = {Hidde de Jong and
                  Jean{-}Luc Gouz{\'{e}} and
                  C{\'{e}}line Hernandez and
                  Michel Page and
                  Sari Tewfik and
                  Johannes Geiselmann},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Hybrid Modeling and Simulation of Genetic Regulatory Networks: {A}
                  Qualitative Approach},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {267--282},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_21},
  doi          = {10.1007/3-540-36580-X\_21},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/JongGHPSG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/KapinskiKMS03,
  author       = {James Kapinski and
                  Bruce H. Krogh and
                  Oded Maler and
                  Olaf Stursberg},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {On Systematic Simulation of Open Continuous Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {283--297},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_22},
  doi          = {10.1007/3-540-36580-X\_22},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/KapinskiKMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/KoutsoukosKZ03,
  author       = {Xenofon D. Koutsoukos and
                  James Kurien and
                  Feng Zhao},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Estimation of Distributed Hybrid Systems Using Particle Filtering
                  Methods},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {298--313},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_23},
  doi          = {10.1007/3-540-36580-X\_23},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/KoutsoukosKZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/KwiatkowskiLS03,
  author       = {Andreas Kwiatkowski and
                  Gerwald Lichtenberg and
                  Axel Schild},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Event Prediction for Switching Linear Systems with Time Varying Thresholds
                  Using Orthogonal Functions},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {314--327},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_24},
  doi          = {10.1007/3-540-36580-X\_24},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/KwiatkowskiLS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/LiuL03,
  author       = {Jie Liu and
                  Edward A. Lee},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {On the Causality of Mixed-Signal and Hybrid Models},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {328--342},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_25},
  doi          = {10.1007/3-540-36580-X\_25},
  timestamp    = {Thu, 23 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/LiuL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/MitraWLF03,
  author       = {Sayan Mitra and
                  Yong Wang and
                  Nancy A. Lynch and
                  Eric Feron},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Safety Verification of Model Helicopter Controller Using Hybrid Input/Output
                  Automata},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {343--358},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_26},
  doi          = {10.1007/3-540-36580-X\_26},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/MitraWLF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/MobusBM03,
  author       = {Rainer M{\"{o}}bus and
                  Mato Baotic and
                  Manfred Morari},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Multi-object Adaptive Cruise Control},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {359--374},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_27},
  doi          = {10.1007/3-540-36580-X\_27},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/MobusBM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/OuaknineW03,
  author       = {Jo{\"{e}}l Ouaknine and
                  James Worrell},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Universality and Language Inclusion for Open and Closed Timed Automata},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {375--388},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_28},
  doi          = {10.1007/3-540-36580-X\_28},
  timestamp    = {Thu, 14 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/OuaknineW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/PalopoliAL03,
  author       = {Luigi Palopoli and
                  Luca Abeni and
                  Giuseppe Lipari},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {On the Application of Hybrid Control to {CPU} Reservations},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {389--404},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_29},
  doi          = {10.1007/3-540-36580-X\_29},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/PalopoliAL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Peless03,
  author       = {Udi Peless},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Developing Home Robotics Products: Challenges and Lessons Learned},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {3},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_3},
  doi          = {10.1007/3-540-36580-X\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Peless03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/PennaIMMCPTZ03,
  author       = {Giuseppe Della Penna and
                  Benedetto Intrigila and
                  Igor Melatti and
                  Michele Minichino and
                  Ester Ciancamerla and
                  Andrea Parisse and
                  Enrico Tronci and
                  Marisa Venturini Zilli},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Automatic Verification of a Turbogas Control System with the Mur varphi
                  Verifier},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {141--155},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_13},
  doi          = {10.1007/3-540-36580-X\_13},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/PennaIMMCPTZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/PicassoB03,
  author       = {Bruno Picasso and
                  Antonio Bicchi},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Stabilization of {LTI} Systems with Quantized State - Quantized Input
                  Static Feedback},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {405--416},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_30},
  doi          = {10.1007/3-540-36580-X\_30},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/PicassoB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/RamamoorthyK03,
  author       = {Subramanian Ramamoorthy and
                  Benjamin Kuipers},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Qualitative Heterogeneous Control of Higher Order Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {417--434},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_31},
  doi          = {10.1007/3-540-36580-X\_31},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/RamamoorthyK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/RoundsS03,
  author       = {William C. Rounds and
                  Hosung Song},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {The Phi-Calculus: {A} Language for Distributed Control of Reconfigurable
                  Embedded Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {435--449},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_32},
  doi          = {10.1007/3-540-36580-X\_32},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/RoundsS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/SeneskyEK03,
  author       = {Matthew Senesky and
                  Gabriel Eirea and
                  Tak{-}John Koo},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Hybrid Modelling and Control of Power Electronics},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {450--465},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_33},
  doi          = {10.1007/3-540-36580-X\_33},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/SeneskyEK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/ShaikhC03,
  author       = {M. Shahid Shaikh and
                  Peter E. Caines},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {On the Optimal Control of Hybrid Systems: Optimization of Trajectories,
                  Switching Times, Location Schedules},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {466--481},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_34},
  doi          = {10.1007/3-540-36580-X\_34},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/ShaikhC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/StursbergK03,
  author       = {Olaf Stursberg and
                  Bruce H. Krogh},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Efficient Representation and Computation of Reachable Sets for Hybrid
                  Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {482--497},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_35},
  doi          = {10.1007/3-540-36580-X\_35},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/StursbergK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/TabuadaP03,
  author       = {Paulo Tabuada and
                  George J. Pappas},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Model Checking {LTL} over Controllable Linear Systems Is Decidable},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {498--513},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_36},
  doi          = {10.1007/3-540-36580-X\_36},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/TabuadaP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Tiwari03,
  author       = {Ashish Tiwari},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Approximate Reachability for Linear Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {514--525},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_37},
  doi          = {10.1007/3-540-36580-X\_37},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/Tiwari03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/VidalCSS03,
  author       = {Ren{\'{e}} Vidal and
                  Alessandro Chiuso and
                  Stefano Soatto and
                  Shankar Sastry},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Observability of Linear Hybrid Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {526--539},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_38},
  doi          = {10.1007/3-540-36580-X\_38},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/VidalCSS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/XuA03,
  author       = {Xuping Xu and
                  Panos J. Antsaklis},
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Results and Perspectives on Computational Methods for Optimal Control
                  of Switched Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  pages        = {540--555},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X\_39},
  doi          = {10.1007/3-540-36580-X\_39},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/XuA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hybrid/2003,
  editor       = {Oded Maler and
                  Amir Pnueli},
  title        = {Hybrid Systems: Computation and Control, 6th International Workshop,
                  {HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2623},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36580-X},
  doi          = {10.1007/3-540-36580-X},
  isbn         = {3-540-00913-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.