원문정보
피인용수 : 0건 (자료제공 : 네이버학술정보)
초록
영어
In this paper, a computational model for hybrid systems is defined. Based on this model, a partial order relation of hybrid systems is given and a lattice of hybrid systems is formalized. Armed with these notations, synthesis of hybrid systems is discussed. The synthesis can be seen as the operation of solving the least upper bound of members of the lattice. An example is given to illustrate the approach.
목차
Abstract
1. Introduction
2. Computational Model
3. Replacements of Variables in Hybrid Systems
4. Synthesis of Hybrid Systems
5. An Example of Synthesis of Hybrid Systems
6. Conclusion
Acknowledgements
References
1. Introduction
2. Computational Model
3. Replacements of Variables in Hybrid Systems
4. Synthesis of Hybrid Systems
5. An Example of Synthesis of Hybrid Systems
6. Conclusion
Acknowledgements
References
저자정보
참고문헌
자료제공 : 네이버학술정보