Conferences in DBLP
David C. Sharp Hybrid and Embedded Software Technologies for Production Large-Scale Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Uri M. Ascher Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger From Models to Code: The Missing Link in Embedded Software. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Aaron , Franjo Ivancic , Dimitris N. Metaxas Hybrid System Models of Navigation Strategies for Games and Animations. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Altafini , Alberto Speranzon , Karl Henrik Johansson Hybrid Control of a Truck and Trailer Vehicle. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Thao Dang , Franjo Ivancic Reachability Analysis of Hybrid Systems via Predicate Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Asarin , Gerardo Schneider , Sergio Yovine Towards Computing Phase Portraits of Polygonal Differential Inclusions. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Aubin , Olivier Dordan Dynamical Qualitative Analysis of Evolutionary Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Balluchi , Luca Benvenuti , Maria Domenica Di Benedetto , Alberto L. Sangiovanni-Vincentelli Design of Observers for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre M. Bayen , Eva Crück , Claire Tomlin Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bemporad , Francesco Borrelli , Manfred Morari On the Optimal Control Law for Linear Discrete Time Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael S. Branicky , Siddharth R. Chhatpar A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Cassez , Thomas A. Henzinger , Jean-François Raskin A Comparison of Control Problems for Timed and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jennifer M. Davoren , Thomas Moor , Anil Nerode Hybrid Control Loops, A/D Maps, and Dynamic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Nael H. El-Farra , Panagiotis D. Christofides Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Elia , Emilio Frazzoli Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density. [Citation Graph (0, 0)][DBLP ] Conf ] Giancarlo Ferrari-Trecate , Francesco Alessandro Cuzzola , Manfred Morari Analysis of Discrete-Time PWA Systems with Logic States. [Citation Graph (0, 0)][DBLP ] Conf ] Giancarlo Ferrari-Trecate , Eduardo Gallestey , Paolo Letizia , Matteo Spedicato , Manfred Morari , Marc Antoine Modeling and Control of Co-generation Power Plants: A Hybrid System Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Robert P. Goldman , David J. Musliner , Michael J. S. Pelican Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] João P. Hespanha Computation of Root-Mean-Square Gains of Switched Linear Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael W. Hofbaur , Brian C. Williams Mode Estimation of Probabilistic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jianghai Hu , Shankar Sastry Symmetry Reduction of a Class of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tak-John Koo , Shankar Sastry Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Kuipers , Subramanian Ramamoorthy Qualitative Modeling and Heterogeneous Control of Global System Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Sriram Narasimhan , Gautam Biswas An Approach to Model-Based Diagnosis of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Todd W. Neller Information-Based Alpha-Beta Search and the Homicidal Chauffeur. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Palopoli , Claudio Pinello , Alberto L. Sangiovanni-Vincentelli , Laurent Elghaoui , Antonio Bicchi Synthesis of Robust Control Systems under Resource Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Pancanti , Laura Leonardi , Lucia Pallottino , Antonio Bicchi Optimal Control of Quantized Input Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tal Pasternak Reconfiguration in Hierarchical Control of Piecewise-Affine Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Saint-Pierre Hybrid Kernels and Capture Basins for Impulse Constrained Systems. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Sethian , Alexander Vladimirsky Ordered Upwind Methods for Hybrid Control. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Stauner Discrete-Time Refinement of Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf Stursberg , Sebastian Panek Control of Switched Hybrid Systems Based on Disjunctive Formulations. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Tabuada , George J. Pappas , Pedro U. Lima Composing Abstractions of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaobo Tan , John S. Baras Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Ashish Tiwari , Gaurav Khanna Series of Abstractions for Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] 