3. HSCC 2000: Pittsburgh, PA, USA

Nancy A. Lynch, Bruce H. Krogh (Eds.): Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings. Lecture Notes in Computer Science 1790 Springer 2000, ISBN 3-540-67259-1 BibTeX

@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},
  booktitle = {HSCC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1790},
  year      = {2000},
  isbn      = {3-540-67259-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Presentations

Ken Butts:
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision. 1-2
Electronic Edition (Springer LINK) BibTeX
Nancy G. Leveson:
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. 3
Electronic Edition (Springer LINK) BibTeX
Brian C. Williams:
Model-Based Autonomous Systems for Robotic Space Exploration. 4
Electronic Edition (Springer LINK) BibTeX
Alberto L. Sangiovanni-Vincentelli:
Models of Computation and Simulation of Hybrid Systems. 5
Electronic Edition (Springer LINK) BibTeX

Selected Presentations

Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee:
Modular Specification of Hybrid Systems in CHARON. 6-19
Electronic Edition (Springer LINK) BibTeX
Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez:
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. 20-31
Electronic Edition (Springer LINK) BibTeX
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli:
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. 32-44
Electronic Edition (Springer LINK) BibTeX
Alberto Bemporad, Fabio Danilo Torrisi, Manfred Morari:
Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems. 45-58
Electronic Edition (Springer LINK) BibTeX
Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto:
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications. 59-72
Electronic Edition (Springer LINK) BibTeX
Oleg Botchkarev, Stavros Tripakis:
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. 73-88
Electronic Edition (Springer LINK) BibTeX
Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro:
Theory of Optimal Control Using Bisimulations. 89-102
Electronic Edition (Springer LINK) BibTeX
Magnus Egerstedt:
Behavior Based Robotics Using Hybrid Automata. 103-116
Electronic Edition (Springer LINK) BibTeX
Kagan Gokbayrak, Christos G. Cassandras:
Hybrid Controllers for Hierarchically Decomposed Systems. 117-129
Electronic Edition (Springer LINK) BibTeX
Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi:
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. 130-144
Electronic Edition (Springer LINK) BibTeX
Thomas A. Henzinger, Jean-François Raskin:
Robust Undecidability of Timed and Hybrid Systems. 145-159
Electronic Edition (Springer LINK) BibTeX
Jianghai Hu, John Lygeros, Shankar Sastry:
Towars a Theory of Stochastic Hybrid Systems. 160-173
Electronic Edition (Springer LINK) BibTeX
Eric Klavins:
Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications. 174-187
Electronic Edition (Springer LINK) BibTeX
Xenofon D. Koutsoukos, Panos J. Antsaklis:
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System. 188-201
Electronic Edition (Springer LINK) BibTeX
Alexander B. Kurzhanski, Pravin Varaiya:
Ellipsoidal Techniques for Reachability Analysis. 202-214
Electronic Edition (Springer LINK) BibTeX
Gerardo Lafferriere, Christopher L. Miller:
Uniform Reachability Algorithms. 215-228
Electronic Edition (Springer LINK) BibTeX
Michael D. Lemmon:
On the Existence of Solutions to Controlled Hybrid Automata. 229-242
Electronic Edition (Springer LINK) BibTeX
Daniel Liberzon:
Nonlinear Stabilization by Hybrid Quantized Feedback. 243-257
Electronic Edition (Springer LINK) BibTeX
Jan Lunze:
Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations. 258-271
Electronic Edition (Springer LINK) BibTeX
Alexey S. Matveev, Andrey V. Savkin:
Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems. 272-281
Electronic Edition (Springer LINK) BibTeX
Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta:
Hybrid Systems Diagnosis. 282-295
Electronic Edition (Springer LINK) BibTeX
Joseph S. Miller:
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata. 296-309
Electronic Edition (Springer LINK) BibTeX
Ian Mitchell, Claire Tomlin:
Level Set Methods for Computation in Hybrid Systems. 310-323
Electronic Edition (Springer LINK) BibTeX
Pieter J. Mosterman, Gautam Biswas:
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems. 324-337
Electronic Edition (Springer LINK) BibTeX
Peter Niebert, Sergio Yovine:
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. 338-351
Electronic Edition (Springer LINK) BibTeX
Andreas Nonnengart:
Hybrid Systems Verification by Location Elimination. 352-365
Electronic Edition (Springer LINK) BibTeX
Vladimir Pavlovic, James M. Rehg, Tat-Jen Cham:
A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models. 366-380
Electronic Edition (Springer LINK) BibTeX
Stefan Pettersson, Bengt Lennartson:
Stability of Hybrid Systems Using LMIs - A Gear-Box Application. 381-395
Electronic Edition (Springer LINK) BibTeX
Jacob Roll:
Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties. 396-406
Electronic Edition (Springer LINK) BibTeX
Omid Shakernia, Shankar Sastry, George J. Pappas:
Decidable Controller Synthesis for Classes of Linear Systems. 407-420
Electronic Edition (Springer LINK) BibTeX
Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry, John Lygeros:
Towards a Geometric Theory of Hybrid Systems. 421-436
Electronic Edition (Springer LINK) BibTeX
René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry:
Controlled Invariance of Discrete Time Systems. 437-450
Electronic Edition (Springer LINK) BibTeX
Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry:
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. 451-464
Electronic Edition (Springer LINK) BibTeX