The study of controlled hybrid systems requires practical tools for approximation and comparison of system behaviors. Existing approaches to these problems impose undue restrictions on the system’s continuous and discrete dynamics. Metrization and simulation of controlled hybrid systems is considered here in a unified framework by constructing a state space metric. The metric is applied to develop a numerical simulation algorithm that converges uniformly to orbitally stable executions of controlled hybrid systems, up to and including Zeno events. Benchmark examples of novel hybrid phenomena illustrate the utility of the proposed tools. I
We describe a model semantics and a simulation algorithm for characterizing a class of dynamic physi...
This paper develops a mathematical framework for hybrid physical system models. Hybrid models of dyn...
Computer controlled systems are almost omnipresent nowadays. We expect such systems to function prop...
Abstract. Though systems with mixed discrete/continuous behaviors can be handled by proper hybrid si...
The distinguishing characteristic of hybrid systems is the interaction between a continuous-time and...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
Future space applications will require an increased level of operational autonomy. This calls for de...
As the price-performance ratio of embedded processors increases and the size of microchips decreases...
Hybrid systems are dynamical systems where the state is allowed to both flow continuously and jump d...
We describe model semantics and develop a simulation algorithm for characterizing a class of dynamic...
Hybrid systems combine piecewise continuous behavior with discrete transitions. Hybrid dynamic syste...
"The behavior of hybrid systems is described by interacting discrete and continuous variables. In th...
Zeno hybrid automata are hybrid systems that can exhibit infinitely many discrete transitions in a f...
AbstractThis paper describes a comprehensive and systematic framework for building mixed continuous/...
Many physical systems today are modeled by interacting continuous and discrete event systems. Such h...
We describe a model semantics and a simulation algorithm for characterizing a class of dynamic physi...
This paper develops a mathematical framework for hybrid physical system models. Hybrid models of dyn...
Computer controlled systems are almost omnipresent nowadays. We expect such systems to function prop...
Abstract. Though systems with mixed discrete/continuous behaviors can be handled by proper hybrid si...
The distinguishing characteristic of hybrid systems is the interaction between a continuous-time and...
Wherever continuous and discrete dynamics interact, hybrid systems arise. This is especially the cas...
Future space applications will require an increased level of operational autonomy. This calls for de...
As the price-performance ratio of embedded processors increases and the size of microchips decreases...
Hybrid systems are dynamical systems where the state is allowed to both flow continuously and jump d...
We describe model semantics and develop a simulation algorithm for characterizing a class of dynamic...
Hybrid systems combine piecewise continuous behavior with discrete transitions. Hybrid dynamic syste...
"The behavior of hybrid systems is described by interacting discrete and continuous variables. In th...
Zeno hybrid automata are hybrid systems that can exhibit infinitely many discrete transitions in a f...
AbstractThis paper describes a comprehensive and systematic framework for building mixed continuous/...
Many physical systems today are modeled by interacting continuous and discrete event systems. Such h...
We describe a model semantics and a simulation algorithm for characterizing a class of dynamic physi...
This paper develops a mathematical framework for hybrid physical system models. Hybrid models of dyn...
Computer controlled systems are almost omnipresent nowadays. We expect such systems to function prop...