Constraint Nets: A semantic model for hybrid dynamic systems (1995) [19 citations — 7 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@ARTICLE{Zhang95constraintnets:,author = {Ying Zhang and Alan K. Mackworth},
title = {Constraint Nets: A semantic model for hybrid dynamic systems},
journal = {Theoretical Computer Science},
year = {1995},
volume = {138},
pages = {23--9}
}
Years of Citing Articles
Abstract:
Hybrid dynamic systems are systems consisting of a non-trivial mixture of discrete and continuous components, such as a controller realized by a combination of digital and analog circuits, a robot composed of a digital controller and a physical plant, or a robotic system consisting of a computer-controlled robot coupled to a continuous environment. Hybrid dynamic systems are more general than traditional real-time systems. The former can be composed of continuous subsystems in addition to discrete and event-controlled components. In this paper, we develop a semantic model, constraint nets (CN), for hybrid systems. CN captures the most general structure of dynamic systems so that systems with discrete and continuous time, discrete and continuous variables, and asynchronous as well as synchronous event structures, can be modeled in a unitary framework. Using aggregation operators, a system can be modeled hierarchically in CN; therefore, the dynamics of the environment as well as the dynamics of the plant and the dynamics of the controller can be modeled individually and then integrated. Based on abstract algebra and topology, CN supports multiple levels of abstraction, so that a system can be analyzed at different levels of detail. CN also provides a rigorous formal programming semantics for the design of hybrid real-time embedded systems. 1
Citations
| 1393 | A theory of timed automata – Alur, Dill - 1994 |
