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