Flatness-Based Control of Switched Systems
|
|
Michael Canu and Naly Rakoto-Ravalontsalama |
|
Stochkit: A stochastic simulation toolkit
|
|
Hong Li, Yang Cao and Linda Petzold |
|
Application of hybrid system theory to power system voltage stability analysis
|
|
Yoshihiko Susuki and Takashi Hikihara |
|
Tolque: A Tool for Algorithmic Algebraic Model Checking
|
|
Venkatesh Mysore, Alberto Casagrande, Carla Piazza and Bud Mishra |
|
Modeling and Control of Networked Hybrid Systems using Embedded Graph Grammars
|
|
John-Michael McNew and Eric Klavins |
|
Development
of a Supervisory Control Architecture for Deterministic System Control
& Fault Management of Alice, Team Caltech’s entry in the 2005 DARPA
Grand Challenge [POSTER SUBMISSION]
|
|
Alex Stewart, Gustav Lindstrom |
|
Distributed Receding Horizon Control of Spatially Invariant Systems
|
|
Nader Motee and Ali Jadbabaie |
|
Automated Verification and Falsification of Hybrid System Using HSolver
|
|
Stefan Ratschan and Zhikun She |
|
Temporal logic motion planning for mobile robots
|
|
Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas |
|
Finite-horizon relaxation theorems for hybrid inclusions
|
|
Chaohong Cai and Andrew R. Teel |
|
Observability of Hybrid Systems and Application to Air Traffic Management
|
Invariant Measures of Nonlinear Sampled-Data Systems with a Jump Linear Controller
|
|
Heber Herencia-Zapana, Oscar R. Gonzalez, and W. Steven Gray |
|
Advances on Robust Hybrid Control
|
|
Ricardo G. Sanfelice and Andrew R. Teel |
|
Hybrid Controllers for Robust Obstacle Avoidance
|
|
Michael J. Messina, Ricardo G. Sanfelice, S. Emre Tuna, Andrew R. Teel |
|
A Lyapunov functional to analyze the stability of a class of hybrid systems
|
|
Payam Naghshtabrizi and Joao Hespanha |
|
Resolution complete reachability analysis of continuous and hybrid systems
|
|
Amit Bhatia and Emilio Frazzoli |
|
Hybrid Topics in Marine Control Systems
|
|
Morten Breivik and Thor I. Fossen |
|
Parallel Methods for Reachability Analysis of Stochastic Hybrid Systems
|
|
Derek Riley and Xenofon Koutsoukos |
|
Hybrid System Identification using Bayesian Updating and Gaussian Mixture Models
|
ReachLab: Computation Platform for the Analysis of Hybrid Automata
|
|
T. John Koo, Xianbin Wu, Hang Su, Jie Chen, Abhishek Dubey |
|