
The authors discuss the problem of computing abstraction for hybrid control systems. They propose the notion of abstraction based on the notions of simulation and bisimulation. These notions are presented in a general setting comprising discrete, continuous and hybrid control systems. Several important properties are proved in such general settings, which are directly applicable to hybrid systems. The authors also introduce a composition operator that allows them to construct large-scale, complex hybrid systems by interconnecting smaller hybrid systems. In addition, the authors show that this composition operator is compatible with abstraction and under certain conditions also with bisimulation. According to the authors' comments, several interesting directions for future research remain.
Axiomatic systems theory, large-scale systems, abstractions, Large-scale systems, compositionality, GRASP, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Discrete event control/observation systems, hybrid control systems
Axiomatic systems theory, large-scale systems, abstractions, Large-scale systems, compositionality, GRASP, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Discrete event control/observation systems, hybrid control systems
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 38 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
