HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
We provide an asymptotically tight, computationally efficient approximation of the joint spectral radius of a set of matrices using sum of squares (SOS) programming. The approach i...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper presents an approach to defining distances between nonlinear and hybrid dynamical systems based on formal power series theory. The main idea is that the input...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. A measure differential inclusion (MDI) based modeling approach for rigidbody mechanical systems will be introduced, that can exhibit autonomous or controlled mode transi...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...