default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. HSCC 2000: Pittsburgh, PA, USA
- Nancy A. Lynch, Bruce H. Krogh:
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
Invited Presentations
- Ken Butts:
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision. 1-2 - Nancy G. Leveson:
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. 3 - Brian C. Williams:
Model-Based Autonomous Systems for Robotic Space Exploration. 4 - Alberto L. Sangiovanni-Vincentelli:
Models of Computation and Simulation of Hybrid Systems. 5
Selected Presentations
- Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee:
Modular Specification of Hybrid Systems in CHARON. 6-19 - Eugene Asarin
, Thao Dang, Oded Maler, Olivier Bournez:
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. 20-31 - 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 - Alberto Bemporad, Fabio Danilo Torrisi, Manfred Morari:
Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems. 45-58 - Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto:
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications. 59-72 - Oleg Botchkarev, Stavros Tripakis:
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. 73-88 - Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro:
Theory of Optimal Control Using Bisimulations. 89-102 - Magnus Egerstedt:
Behavior Based Robotics Using Hybrid Automata. 103-116 - Kagan Gokbayrak, Christos G. Cassandras:
Hybrid Controllers for Hierarchically Decomposed Systems. 117-129 - Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi:
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. 130-144 - Thomas A. Henzinger, Jean-François Raskin:
Robust Undecidability of Timed and Hybrid Systems. 145-159 - Jianghai Hu, John Lygeros, Shankar Sastry:
Towars a Theory of Stochastic Hybrid Systems. 160-173 - Eric Klavins:
Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications. 174-187 - Xenofon D. Koutsoukos, Panos J. Antsaklis:
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System. 188-201 - Alexander B. Kurzhanski, Pravin Varaiya:
Ellipsoidal Techniques for Reachability Analysis. 202-214 - Gerardo Lafferriere, Christopher Lee Miller:
Uniform Reachability Algorithms. 215-228 - Michael D. Lemmon:
On the Existence of Solutions to Controlled Hybrid Automata. 229-242 - Daniel Liberzon:
Nonlinear Stabilization by Hybrid Quantized Feedback. 243-257 - Jan Lunze:
Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations. 258-271 - 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 - Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta:
Hybrid Systems Diagnosis. 282-295 - Joseph S. Miller:
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata. 296-309 - Ian Mitchell, Claire J. Tomlin:
Level Set Methods for Computation in Hybrid Systems. 310-323 - Pieter J. Mosterman, Gautam Biswas:
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems. 324-337 - Peter Niebert, Sergio Yovine:
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. 338-351 - Andreas Nonnengart:
Hybrid Systems Verification by Location Elimination. 352-365 - Vladimir Pavlovic, James M. Rehg, Tat-Jen Cham:
A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models. 366-380 - Stefan Pettersson, Bengt Lennartson:
Stability of Hybrid Systems Using LMIs - A Gear-Box Application. 381-395 - Jacob Roll:
Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties. 396-406 - Omid Shakernia, Shankar Sastry, George J. Pappas:
Decidable Controller Synthesis for Classes of Linear Systems. 407-420 - Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry, John Lygeros:
Towards a Geometric Theory of Hybrid Systems. 421-436 - René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry:
Controlled Invariance of Discrete Time Systems. 437-450 - Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry:
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. 451-464
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.
last updated on 2025-12-09 23:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
