Reachability of Uncertain Linear Systems using Zonotopes
Antoine Girard
Adjoint-based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems
Robin L. Raffard, Jianghai Hu, Claire J. Tomlin
A Homology Theory for Hybrid Systems: Hybrid Homology
Aaron D. Ames and Shankar Sastry
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems
Rajesh Kumar, Bruce Krogh, Peter Feiler
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
Ian M. Mitchell and Jeremy A. Templeton
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)
Stefan Strubbe, Arjan van der Schaft
Bisimulation for General Stochastic Hybrid
Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu
Comparison of four procedures for the identification of hybrid systems
A. Juloski, M. Heemels, G, Ferrari-Trecate, R. Vidal, S.Paoletti, H. Niessen
Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach based on Feasibility
Tobias Geyer and Georgios Papafotiou
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
Stefan Ratschan and Zhikun She
On the stabilisation of switching electrical power converters
Jean Buisson, Pierre-Yves Richard, Hervé Cormerais
Modeling and Control of Networked Control System with Random Delays
Yan Wang, Zeng Qi Sun, Fu Chun Sun
On Transfinite Hybrid Automata
Katsunori Nakamura, Akira Fusaoka
Taylor Approximation for Hybrid Systems
Ruggero Lanotte and Simone Tini
Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration
Dominik Niederberger
Polynomial Stochastic Hybrid Systems
Joao Pedro Hespanha
Controllability Implies Stabilizability for Discrete-time Switched Linear Systems
Guangming Xie, Long Wang
Learning Multi-Modal Control Programs
Tejas R. Mehta, and Magnus Egerstedt
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems without Friction
Sophie Chareyron and Pierre-Brice Wieber
Generating Polynomial Invariants for Hybrid Systems
Enric Rodriguez-Carbonell and Ashish Tiwari
A Closed-Form Solution to the Identification of Hybrid ARX Models via the Identification ofAlgebraic Varieties
Yi Ma and Rene Vidal
Computational Challenges of Controlled Hybrid System Safety Verification
Sonja Glavaski, Antonis Papachristodoulou, and Kartik Ariyur
Mode-Automata based Methodology for Scade
Ouassila Labbani, Jean-Luc Dekeyser and Pierre Boulet
The Discrete Time Behavior of Lazy Linear Hybrid Automata
Manindra Agrawal and P.S. Thiagarajan
Sensor/actuator abstractions for symbolic embedded control design
Paulo Tabuada
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
D. Del Vecchio and R.M. Murray
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli
Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, and Dominique Schneider
Infinity Norms as Lyapunov functions for Model Predictive Control of Constrained PWA Systems
M. Lazar, W.P.M.H. Heemels, S. Weiland, A. Bemporad, O. Pastravanu
Optimal Control of Discrete Hybrid Stochastic Automata
A. Bemporad and S. Di Cairano
Air-Traffic Control in Approach Sectors: simulation examples and optimisation
A. Lecchini, W. Glover, J. Lygeros, J. Maciejowski
Controller synthesis on non–uniform and uncertain discrete–time domains
Andrea Balluchi, Pierpaolo Murrieri, and Alberto L. Sangiovanni-Vincentelli
Hybrid Decentralized Control of Large Scale Systems
Francesco Borrelli, Tamas Keviczky, Gary J. Balas, Greg Stewart, Kingsley Fregene, Datta Godbole
Refining Abstractions of Hybrid Systems Using Counterexample Fragments
Ansgar Fehnker, Edmund Clarke, Sumit Jha, Bruce Krogh
Primal-Dual Tests for Safety and Reachability
Stephen Prajna and Anders Rantzer
PHAVer: Algorithmic Verification of Hybrid Systems past HyTech
Goran Frehse
Interchange Formats for Hybrid Systems: Review and Proposal
Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone and Luca P. Carloni
Observability of Switched Linear Systems in Continuous Time
Mohamed Babaali and George J. Pappas
Non-Uniqueness in Reverse Time of Hybrid System Trajectories
I.A. Hiskens
Modeling, Optimization and Computation for Software Verification
Mardavij Roozbehani Eric Feron Alexandre Megretski
Perturbed Timed Automata
R. Alur, S. La Torre, P. Madhusudan
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009