Conferences in DBLP
Markus P. J. Fromherz , Lara S. Crawford , Haitham A. Hindi Coordinated Control for Highly Reconfigurable Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Edward A. Lee , Haiyang Zheng Operational Semantics of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pablo A. Parrilo SOS Methods for Semi-algebraic Games and Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Manindra Agrawal , P. S. Thiagarajan The Discrete Time Behavior of Lazy Linear Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Salvatore La Torre , P. Madhusudan Perturbed Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron D. Ames , Shankar Sastry A Homology Theory for Hybrid Systems: Hybrid Homology. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Babaali , George J. Pappas Observability of Switched Linear Systems in Continuous Time. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Balluchi , Pierpaolo Murrieri , Alberto L. Sangiovanni-Vincentelli Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Grégory Batt , Delphine Ropers , Hidde de Jong , Johannes Geiselmann , Michel Page , Dominique Schneider Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bemporad , Stefano Di Cairano Optimal Control of Discrete Hybrid Stochastic Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Borrelli , Tamás Keviczky , Gary J. Balas , Greg Stewart , Kingsley Fregene , Datta N. Godbole Hybrid Decentralized Control of Large Scale Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Buisson , Pierre-Yves Richard , Hervé Cormerais On the Stabilisation of Switching Electrical Power Converters. [Citation Graph (0, 0)][DBLP ] Conf ] Manuela L. Bujorianu , John Lygeros , Marius C. Bujorianu Bisimulation for General Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sophie Chareyron , Pierre-Brice Wieber Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction. [Citation Graph (0, 0)][DBLP ] Conf ] Domitilla Del Vecchio , Richard M. Murray Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order. [Citation Graph (0, 0)][DBLP ] Conf ] Ansgar Fehnker , Edmund M. Clarke , Sumit Kumar Jha , Bruce H. Krogh Refining Abstractions of Hybrid Systems Using Counterexample Fragments. [Citation Graph (0, 0)][DBLP ] Conf ] Goran Frehse PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Geyer , Georgios Papafotiou Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility. [Citation Graph (0, 0)][DBLP ] Conf ] Antoine Girard Reachability of Uncertain Linear Systems Using Zonotopes. [Citation Graph (0, 0)][DBLP ] Conf ] Sonja Glavaski , Antonis Papachristodoulou , Kartik Ariyur Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. [Citation Graph (0, 0)][DBLP ] Conf ] João P. Hespanha Polynomial Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ian A. Hiskens Non-uniqueness in Reverse Time of Hybrid System Trajectories. [Citation Graph (0, 0)][DBLP ] Conf ] Aleksandar Lj. Juloski , W. P. M. H. Heemels , Giancarlo Ferrari-Trecate , René Vidal , Simone Paoletti , J. H. G. Niessen Comparison of Four Procedures for the Identification of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rajesh Kumar , Bruce H. Krogh , Peter H. Feiler An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ouassila Labbani , Jean-Luc Dekeyser , Pierre Boulet Mode-Automata Based Methodology for Scade. [Citation Graph (0, 0)][DBLP ] Conf ] Ruggero Lanotte , Simone Tini Taylor Approximation for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mircea Lazar , W. P. M. H. Heemels , Siep Weiland , Alberto Bemporad , Octavian Pastravanu Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Lecchini , William Glover , John Lygeros , Jan Maciejowski Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation. [Citation Graph (0, 0)][DBLP ] Conf ] Yi Ma , René Vidal Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties. [Citation Graph (0, 0)][DBLP ] Conf ] Tejas R. Mehta , Magnus Egerstedt Learning Multi-modal Control Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ian M. Mitchell , Jeremy A. Templeton A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Katsunori Nakamura , Akira Fusaoka On Transfinite Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Dominik Niederberger Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Pinto , Alberto L. Sangiovanni-Vincentelli , Luca P. Carloni , Roberto Passerone Interchange Formats for Hybrid Systems: Review and Proposal. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Prajna , Anders Rantzer Primal-Dual Tests for Safety and Reachability. [Citation Graph (0, 0)][DBLP ] Conf ] Robin L. Raffard , Jianghai Hu , Claire Tomlin Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Ratschan , Zhikun She Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Enric Rodríguez-Carbonell , Ashish Tiwari Generating Polynomial Invariants for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mardavij Roozbehani , Eric Feron , Alexandre Megrestki Modeling, Optimization and Computation for Software Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Strubbe , A. J. van der Schaft Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs). [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Tabuada Sensor/Actuator Abstractions for Symbolic Embedded Control Design. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Wang , Zeng Qi Sun , Fu Chun Sun Modeling and Control of Networked Control Systems with Random Delays. [Citation Graph (0, 0)][DBLP ] Conf ] Guangming Xie , Long Wang Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 