Conferences in DBLP
Manindra Agrawal , P. S. Thiagarajan Lazy Rectangular Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron D. Ames , Shankar Sastry Affine Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Asarin , Thao Dang Abstraction by Projection and Application to Multi-affine Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Babaali , Magnus Egerstedt Observability of Switched Linear Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hamsa Balakrishnan , InSeok Hwang , Jung Soon Jang , Claire Tomlin Inference Methods for Autonomous Stochastic Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Balluchi , Federico Di Natale , Alberto L. Sangiovanni-Vincentelli , Jan H. van Schuppen Synthesis for Idle Speed Control of an Automotive Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre M. Bayen , Robin L. Raffard , Claire Tomlin Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways. [Citation Graph (0, 0)][DBLP ] Conf ] Calin Belta , Peter Finin , Luc C. G. J. M. Habets , Ádám M. Halász , Marcin Imielinski , Vijay Kumar , Harvey Rubin Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bemporad , Nicolò Giorgetti A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Amit Bhatia , Emilio Frazzoli Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Bicchi , Alessia Marigo , Benedetto Piccoli Discrete and Hybrid Nonholonomy. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent D. Blondel , Yurii Nesterov , Jacques Theys Approximations of the Rate of Growth of Switched Linear Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Noël Bonneuil , Patrick Saint-Pierre The Hybrid Guaranteed Capture Basin Algorithm in Economics. [Citation Graph (0, 0)][DBLP ] Conf ] Patricia Bouyer , Ed Brinksma , Kim Guldstrand Larsen Staying Alive as Cheaply as Possible. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Brihaye , Christian Michaux , Cédric Rivière , Christophe Troestler On O-Minimal Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Manuela L. Bujorianu Extended Stochastic Hybrid Systems and Their Reachability Problem. [Citation Graph (0, 0)][DBLP ] Conf ] M. K. Çamlibel , W. P. M. H. Heemels , J. M. Schumacher On the Controllability of Bimodal Piecewise Linear Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pieter Collins , Jan H. van Schuppen Observability of Piecewise-Affine Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jennifer M. Davoren , Vaughan Coulthard , Nicolas Markey , Thomas Moor Non-deterministic Temporal Logics for General Flow Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Martin De Wulf , Laurent Doyen , Jean-François Raskin Almost ASAP Semantics: From Timed Models to Timed Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Domitilla Del Vecchio , Richard M. Murray Discrete State Estimators for a Class of Hybrid Systems on a Lattice. [Citation Graph (0, 0)][DBLP ] Conf ] Ansgar Fehnker , Franjo Ivancic Benchmarks for Hybrid Systems Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Geyer , Georgios Papafotiou , Manfred Morari On the Optimal Control of Switch-Mode DC-DC Converters. [Citation Graph (0, 0)][DBLP ] Conf ] Arkadeb Ghosal , Thomas A. Henzinger , Christoph M. Kirsch , Marco A. A. Sanvido Event-Driven Programming with Logical Execution Times. [Citation Graph (0, 0)][DBLP ] Conf ] William Glover , John Lygeros A Stochastic Hybrid Model for Air Traffic Control Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] João P. Hespanha Stochastic Hybrid Systems: Application to Communication Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy J. Hickey , David K. Wittenberg Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Jianghai Hu , Wei Chung Wu , Shankar Sastry Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yerang Hur , Jesung Kim , Insup Lee , Jin-Young Choi Sound Code Generation from Communicating Hybrid Models. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Kvasnica , Pascal Grieder , Mato Baotic , Manfred Morari Multi-Parametric Toolbox (MPT). [Citation Graph (0, 0)][DBLP ] Conf ] Natasha A. Neogi Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Prajna , Ali Jadbabaie Safety Verification of Hybrid Systems Using Barrier Certificates. [Citation Graph (0, 0)][DBLP ] Conf ] Fredrik Rosenqvist , Anders Karlstöm Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes. [Citation Graph (0, 0)][DBLP ] Conf ] William C. Rounds A Spatial Logic for the Hybrid p-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Rene Sanchez , Roberto Horowitz , Masayoshi Tomizuka , Slobodan N. Simic Full Paper Sheet Control Using Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Sriram Sankaranarayanan , Henny Sipma , Zohar Manna Constructing Invariants for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] A. J. van der Schaft Bisimulation of Dynamical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dharmashankar Subramanian , Kartik Ariyur , Nitin Lamba , Ranjana Deshpande , Sonja Glavaski Control Design for a Hybrid Dynamic System: A NASA Life Support System. [Citation Graph (0, 0)][DBLP ] Conf ] Shreyas Sundaram , Christoforos N. Hadjicostis Non-concurrent Error Detection and Correction in Switched Linear Controllers. [Citation Graph (0, 0)][DBLP ] Conf ] Ashish Tiwari , Gaurav Khanna Nonlinear Systems: Approximating Reach Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Xuping Xu , Guisheng Zhai On Practical Stability and Stabilization of Hybrid and Switched Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christos A. Yfoulis , Robert Shorten A Numerical Technique for Stability Analysis of Linear Switched Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Chenggui Yuan , John Lygeros Asymptotic Stability and Boundedness of Delay Switching Diffusions. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Lincoln , Ashish Tiwari Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. [Citation Graph (0, 0)][DBLP ] Conf ] 