Sciweavers

143
Voted
HYBRID
2000
Springer
15 years 7 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...
166
Voted
HYBRID
2000
Springer
15 years 7 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
127
Voted
HYBRID
2000
Springer
15 years 7 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
153
Voted
HYBRID
2000
Springer
15 years 7 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
122
Voted
HYBRID
2000
Springer
15 years 7 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