Sciweavers

HYBRID
2000
Springer
14 years 2 months ago
Towards a Geometric Theory of Hybrid Systems
Given a deterministic, non-blocking hybrid system, we introduce the notion of its hybrid manifold (or hybrifold) with the associated hybrid ow on it. This enables us to study hyb...
Slobodan N. Simic, Karl Henrik Johansson, Shankar ...
HYBRID
2000
Springer
14 years 2 months ago
Decidable Controller Synthesis for Classes of Linear Systems
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
Omid Shakernia, Shankar Sastry, George J. Pappas
HYBRID
2000
Springer
14 years 2 months ago
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
Jun Zhang, Karl Henrik Johansson, John Lygeros, Sh...
HYBRID
2000
Springer
14 years 2 months ago
Controlled Invariance of Discrete Time Systems
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
René Vidal, Shawn Schaffert, John Lygeros, ...
HYBRID
2000
Springer
14 years 2 months ago
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
Joseph S. Miller
HYBRID
2000
Springer
14 years 2 months ago
Hybrid Systems Diagnosis
This paper reports on an on-going project to investigate techniques to diagnose complex dynamical systems that are modeled as hybrid systems. In particular, we examine continuous s...
Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vi...
HYBRID
2000
Springer
14 years 2 months ago
A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
Vladimir Pavlovic, James M. Rehg, Tat-Jen Cham
HYBRID
2000
Springer
14 years 2 months ago
On the Existence of Solutions to Controlled Hybrid Automata
This paper studies the existence of solutions to a class of hybrid automata in which the underlying continuous dynamics are represented by inhomogeneous linear time-invariant syste...
Michael D. Lemmon
HYBRID
2000
Springer
14 years 2 months ago
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
Peter Niebert, Sergio Yovine
HYBRID
2000
Springer
14 years 2 months ago
Ellipsoidal Techniques for Reachability Analysis
For the reach tube of a linear time-varying system with ellipsoidal bounds on the control variable consider the following approximation problem. Find a tight ellipsoid-valued tube...
Alexander B. Kurzhanski, Pravin Varaiya