Sciweavers

HYBRID
2005
Springer
14 years 5 months ago
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
Ian M. Mitchell, Jeremy A. Templeton
HYBRID
2005
Springer
14 years 5 months ago
Non-uniqueness in Reverse Time of Hybrid System Trajectories
Under standard Lipschitz conditions, trajectories of systems described by ordinary differential equations are well defined in both forward and reverse time. (The flow map is inv...
Ian A. Hiskens
HYBRID
2005
Springer
14 years 5 months ago
Polynomial Stochastic Hybrid Systems
This paper deals with polynomial stochastic hybrid systems (pSHSs), which generally correspond to stochastic hybrid systems with polynomial continuous vector fields, reset maps, a...
João P. Hespanha
HYBRID
2005
Springer
14 years 5 months ago
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sa...
HYBRID
2005
Springer
14 years 5 months ago
Bisimulation for General Stochastic Hybrid Systems
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...
Manuela L. Bujorianu, John Lygeros, Marius C. Bujo...
HYBRID
2005
Springer
14 years 5 months ago
Observability of Switched Linear Systems in Continuous Time
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...
Mohamed Babaali, George J. Pappas
HYBRID
2005
Springer
14 years 5 months ago
Hybrid Decentralized Control of Large Scale Systems
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
Francesco Borrelli, Tamás Keviczky, Gary J....
HYBRID
2005
Springer
14 years 5 months ago
A Homology Theory for Hybrid Systems: Hybrid Homology
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
Aaron D. Ames, Shankar Sastry
HYBRID
2005
Springer
14 years 5 months ago
The Discrete Time Behavior of Lazy Linear Hybrid Automata
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
Manindra Agrawal, P. S. Thiagarajan
HYBRID
2005
Springer
14 years 5 months ago
Optimal Control of Discrete Hybrid Stochastic Automata
This paper focuses on hybrid systems whose discrete state transitions depend on both deterministic and stochastic events. For such systems, after introducing a suitable hybrid mod...
Alberto Bemporad, Stefano Di Cairano