We propose an algebraic model for hybrid systems and illustrate its usefulness by proving theorems in realization theory using this viewpoint. By a hybrid system, we mean a collection of continuous nonlinear control systems associated with a discrete finite state automaton
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
AbstractWe propose an algebraic model for hybrid systems and illustrate its usefulness by proving th...
AbstractWe propose an algebraic model for hybrid systems and illustrate its usefulness by proving th...
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A...
The distinguishing characteristic of hybrid systems is the interaction between a continuous-time and...
Abstract. This paper summarizes the definitions and several of the main results of an approach to hy...
We present a general framework for the formal specification and algorithmic analysis of hybrid syste...
AbstractWe present a general framework for the formal specification and algorithmic analysis of hybr...
Hybrid systems are heterogeneous systems characterised by the interaction of discrete and continuous...
We propose a very general framework that systematizes the notion of a hybrid system, combining diffe...
We present a general framework for the formal specification and algorithmic analysis of hybrid sys...
Hybrid systems are heterogeneous systems characterised by the interaction of discrete and continuous...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
AbstractWe propose an algebraic model for hybrid systems and illustrate its usefulness by proving th...
AbstractWe propose an algebraic model for hybrid systems and illustrate its usefulness by proving th...
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A...
The distinguishing characteristic of hybrid systems is the interaction between a continuous-time and...
Abstract. This paper summarizes the definitions and several of the main results of an approach to hy...
We present a general framework for the formal specification and algorithmic analysis of hybrid syste...
AbstractWe present a general framework for the formal specification and algorithmic analysis of hybr...
Hybrid systems are heterogeneous systems characterised by the interaction of discrete and continuous...
We propose a very general framework that systematizes the notion of a hybrid system, combining diffe...
We present a general framework for the formal specification and algorithmic analysis of hybrid sys...
Hybrid systems are heterogeneous systems characterised by the interaction of discrete and continuous...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
DOI
Add to ORKG