Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/hybrid/AlurGHKL00,
  author       = {Rajeev Alur and
                  Radu Grosu and
                  Yerang Hur and
                  Vijay Kumar and
                  Insup Lee},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Modular Specification of Hybrid Systems in {CHARON}},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {6--19},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_5},
  doi          = {10.1007/3-540-46430-1\_5},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/AlurGHKL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/AsarinDMB00,
  author       = {Eugene Asarin and
                  Thao Dang and
                  Oded Maler and
                  Olivier Bournez},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {20--31},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_6},
  doi          = {10.1007/3-540-46430-1\_6},
  timestamp    = {Thu, 05 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/AsarinDMB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BalluchiBBMPVWS00,
  author       = {Andrea Balluchi and
                  Luca Benvenuti and
                  Maria Domenica Di Benedetto and
                  Guido M. Miconi and
                  Ugo Pozzi and
                  Tiziano Villa and
                  Howard Wong{-}Toi and
                  Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Maximal Safe Set Computation for Idle Speed Control of an Automotive
                  Engine},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {32--44},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_7},
  doi          = {10.1007/3-540-46430-1\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BalluchiBBMPVWS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BemporadTM00,
  author       = {Alberto Bemporad and
                  Fabio Danilo Torrisi and
                  Manfred Morari},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Optimization-Based Verification and Stability Characterization of
                  Piecewise Affine and Hybrid Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {45--58},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_8},
  doi          = {10.1007/3-540-46430-1\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BemporadTM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BerardiSB00,
  author       = {Luca Berardi and
                  Elena De Santis and
                  Maria Domenica Di Benedetto},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Invariant Sets and Control Synthesis for Switching Systems with Safety
                  Specifications},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {59--72},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_9},
  doi          = {10.1007/3-540-46430-1\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BerardiSB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BotchkarevT00,
  author       = {Oleg Botchkarev and
                  Stavros Tripakis},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Verification of Hybrid Systems with Linear Differential Inclusions
                  Using Ellipsoidal Approximations},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {73--88},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_10},
  doi          = {10.1007/3-540-46430-1\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BotchkarevT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BrouckeBSG00,
  author       = {Mireille E. Broucke and
                  Maria Domenica Di Benedetto and
                  Alberto L. Sangiovanni{-}Vincentelli and
                  Stefano Di Gennaro},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Theory of Optimal Control Using Bisimulations},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {89--102},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_11},
  doi          = {10.1007/3-540-46430-1\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BrouckeBSG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Butts00,
  author       = {Ken Butts},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_1},
  doi          = {10.1007/3-540-46430-1\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Butts00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Egerstedt00,
  author       = {Magnus Egerstedt},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Behavior Based Robotics Using Hybrid Automata},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {103--116},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_12},
  doi          = {10.1007/3-540-46430-1\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Egerstedt00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/GokbayrakC00,
  author       = {Kagan Gokbayrak and
                  Christos G. Cassandras},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Hybrid Controllers for Hierarchically Decomposed Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {117--129},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_13},
  doi          = {10.1007/3-540-46430-1\_13},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/GokbayrakC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/HenzingerHMW00,
  author       = {Thomas A. Henzinger and
                  Benjamin Horowitz and
                  Rupak Majumdar and
                  Howard Wong{-}Toi},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Beyond {HYTECH:} Hybrid Systems Analysis Using Interval Numerical
                  Methods},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {130--144},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_14},
  doi          = {10.1007/3-540-46430-1\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/HenzingerHMW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/HenzingerR00,
  author       = {Thomas A. Henzinger and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Robust Undecidability of Timed and Hybrid Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {145--159},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_15},
  doi          = {10.1007/3-540-46430-1\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/HenzingerR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/HuLS00,
  author       = {Jianghai Hu and
                  John Lygeros and
                  Shankar Sastry},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Towars a Theory of Stochastic Hybrid Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {160--173},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_16},
  doi          = {10.1007/3-540-46430-1\_16},
  timestamp    = {Mon, 25 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/HuLS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Klavins00,
  author       = {Eric Klavins},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Automatic Compilation of Concurrent Hybrid Factories from Product
                  Assembly Specifications},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {174--187},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_17},
  doi          = {10.1007/3-540-46430-1\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Klavins00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/KoutsoukosA00,
  author       = {Xenofon D. Koutsoukos and
                  Panos J. Antsaklis},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {A Hybrid Feedback Regulator Approach to Control an Automotive Suspension
                  System},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {188--201},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_18},
  doi          = {10.1007/3-540-46430-1\_18},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/KoutsoukosA00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/KurzhanskiV00,
  author       = {Alexander B. Kurzhanski and
                  Pravin Varaiya},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Ellipsoidal Techniques for Reachability Analysis},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {202--214},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_19},
  doi          = {10.1007/3-540-46430-1\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/KurzhanskiV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/LafferriereM00,
  author       = {Gerardo Lafferriere and
                  Christopher Lee Miller},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Uniform Reachability Algorithms},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {215--228},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_20},
  doi          = {10.1007/3-540-46430-1\_20},
  timestamp    = {Mon, 26 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/LafferriereM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Lemmon00,
  author       = {Michael D. Lemmon},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {On the Existence of Solutions to Controlled Hybrid Automata},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {229--242},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_21},
  doi          = {10.1007/3-540-46430-1\_21},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Lemmon00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Leveson00,
  author       = {Nancy G. Leveson},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Experiences in Designing and Using Formal Specification Languages
                  for Embedded Control Software},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {3},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_2},
  doi          = {10.1007/3-540-46430-1\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Leveson00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Liberzon00,
  author       = {Daniel Liberzon},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Nonlinear Stabilization by Hybrid Quantized Feedback},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {243--257},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_22},
  doi          = {10.1007/3-540-46430-1\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Liberzon00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Lunze00,
  author       = {Jan Lunze},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {258--271},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_23},
  doi          = {10.1007/3-540-46430-1\_23},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Lunze00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/MatveevS00,
  author       = {Alexey S. Matveev and
                  Andrey V. Savkin},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Existence and Stability of Limit Cycles in Switched Single Server
                  Flow Networks Modelled as Hybrid Dynamical Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {272--281},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_24},
  doi          = {10.1007/3-540-46430-1\_24},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/MatveevS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/McIlraithBCG00,
  author       = {Sheila A. McIlraith and
                  Gautam Biswas and
                  Dan Clancy and
                  Vineet Gupta},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Hybrid Systems Diagnosis},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {282--295},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_25},
  doi          = {10.1007/3-540-46430-1\_25},
  timestamp    = {Fri, 15 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/McIlraithBCG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Miller00,
  author       = {Joseph S. Miller},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Decidability and Complexity Results for Timed Automata and Semi-linear
                  Hybrid Automata},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {296--309},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_26},
  doi          = {10.1007/3-540-46430-1\_26},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Miller00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/MitchellT00,
  author       = {Ian Mitchell and
                  Claire J. Tomlin},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Level Set Methods for Computation in Hybrid Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {310--323},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_27},
  doi          = {10.1007/3-540-46430-1\_27},
  timestamp    = {Thu, 26 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/MitchellT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/MostermanB00,
  author       = {Pieter J. Mosterman and
                  Gautam Biswas},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Towards Procedures for Systematically Deriving Hybrid Models of Complex
                  Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {324--337},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_28},
  doi          = {10.1007/3-540-46430-1\_28},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/MostermanB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/NiebertY00,
  author       = {Peter Niebert and
                  Sergio Yovine},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Computing Optimal Operation Schemes for Chemical Plants in Multi-batch
                  Mode},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {338--351},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_29},
  doi          = {10.1007/3-540-46430-1\_29},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/NiebertY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Nonnengart00,
  author       = {Andreas Nonnengart},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Hybrid Systems Verification by Location Elimination},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {352--365},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_30},
  doi          = {10.1007/3-540-46430-1\_30},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Nonnengart00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/PavlovicRC00,
  author       = {Vladimir Pavlovic and
                  James M. Rehg and
                  Tat{-}Jen Cham},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {A Dynamic Bayesian Network Approach to Tracking Using Learned Switching
                  Dynamic Models},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {366--380},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_31},
  doi          = {10.1007/3-540-46430-1\_31},
  timestamp    = {Tue, 11 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/PavlovicRC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/PetterssonL00,
  author       = {Stefan Pettersson and
                  Bengt Lennartson},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Stability of Hybrid Systems Using LMIs - {A} Gear-Box Application},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {381--395},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_32},
  doi          = {10.1007/3-540-46430-1\_32},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/PetterssonL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Roll00,
  author       = {Jacob Roll},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Invariance of Approximating Automata for Piecewise Linear Systems
                  with Uncertainties},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {396--406},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_33},
  doi          = {10.1007/3-540-46430-1\_33},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Roll00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Sangiovanni-Vincentelli00,
  author       = {Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Models of Computation and Simulation of Hybrid Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {5},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_4},
  doi          = {10.1007/3-540-46430-1\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Sangiovanni-Vincentelli00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/ShakerniaSP00,
  author       = {Omid Shakernia and
                  Shankar Sastry and
                  George J. Pappas},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Decidable Controller Synthesis for Classes of Linear Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {407--420},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_34},
  doi          = {10.1007/3-540-46430-1\_34},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/ShakerniaSP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/SimicJSL00,
  author       = {Slobodan N. Simic and
                  Karl Henrik Johansson and
                  Shankar Sastry and
                  John Lygeros},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Towards a Geometric Theory of Hybrid Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {421--436},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_35},
  doi          = {10.1007/3-540-46430-1\_35},
  timestamp    = {Thu, 28 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/SimicJSL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/VidalSLS00,
  author       = {Ren{\'{e}} Vidal and
                  Shawn Schaffert and
                  John Lygeros and
                  Shankar Sastry},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Controlled Invariance of Discrete Time Systems},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {437--450},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_36},
  doi          = {10.1007/3-540-46430-1\_36},
  timestamp    = {Mon, 25 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/VidalSLS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Williams00,
  author       = {Brian C. Williams},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Model-Based Autonomous Systems for Robotic Space Exploration},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {4},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_3},
  doi          = {10.1007/3-540-46430-1\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Williams00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/ZhangJLS00,
  author       = {Jun Zhang and
                  Karl Henrik Johansson and
                  John Lygeros and
                  Shankar Sastry},
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Dynamical Systems Revisited: Hybrid Systems with Zeno Executions},
  booktitle    = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  pages        = {451--464},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1\_37},
  doi          = {10.1007/3-540-46430-1\_37},
  timestamp    = {Thu, 28 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/ZhangJLS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hybrid/2000,
  editor       = {Nancy A. Lynch and
                  Bruce H. Krogh},
  title        = {Hybrid Systems: Computation and Control, Third International Workshop,
                  {HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1790},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46430-1},
  doi          = {10.1007/3-540-46430-1},
  isbn         = {3-540-67259-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.