Conferences in DBLP
Ken Butts Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy G. Leveson Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. [Citation Graph (0, 0)][DBLP ] Conf ] Brian C. Williams Model-Based Autonomous Systems for Robotic Space Exploration. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto L. Sangiovanni-Vincentelli Models of Computation and Simulation of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Radu Grosu , Yerang Hur , Vijay Kumar , Insup Lee Modular Specification of Hybrid Systems in CHARON. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Asarin , Thao Dang , Oded Maler , Olivier Bournez Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. [Citation Graph (0, 0)][DBLP ] 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 ] 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 ] 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 ] Conf ] Oleg Botchkarev , Stavros Tripakis Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Magnus Egerstedt Behavior Based Robotics Using Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Kagan Gokbayrak , Christos G. Cassandras Hybrid Controllers for Hierarchically Decomposed Systems. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Thomas A. Henzinger , Jean-François Raskin Robust Undecidability of Timed and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jianghai Hu , John Lygeros , Shankar Sastry Towars a Theory of Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Klavins Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Xenofon D. Koutsoukos , Panos J. Antsaklis A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander B. Kurzhanski , Pravin Varaiya Ellipsoidal Techniques for Reachability Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Gerardo Lafferriere , Chris Miller Uniform Reachability Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Michael D. Lemmon On the Existence of Solutions to Controlled Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Liberzon Nonlinear Stabilization by Hybrid Quantized Feedback. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Lunze Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Sheila A. McIlraith , Gautam Biswas , Dan Clancy , Vineet Gupta Hybrid Systems Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph S. Miller Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Mitchell , Claire Tomlin Level Set Methods for Computation in Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pieter J. Mosterman , Gautam Biswas Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Niebert , Sergio Yovine Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Nonnengart Hybrid Systems Verification by Location Elimination. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Stefan Pettersson , Bengt Lennartson Stability of Hybrid Systems Using LMIs - A Gear-Box Application. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob Roll Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties. [Citation Graph (0, 0)][DBLP ] Conf ] Omid Shakernia , Shankar Sastry , George J. Pappas Decidable Controller Synthesis for Classes of Linear Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Slobodan N. Simic , Karl Henrik Johansson , Shankar Sastry , John Lygeros Towards a Geometric Theory of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] René Vidal , Shawn Schaffert , John Lygeros , Shankar Sastry Controlled Invariance of Discrete Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Zhang , Karl Henrik Johansson , John Lygeros , Shankar Sastry Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. [Citation Graph (0, 0)][DBLP ] Conf ] 