Design Research in Cyber-Physical Systems through Weak-Bisimulation

Autor: Roy Mccann, Khalid Rahman
Jazyk: angličtina
Rok vydání: 2011
Předmět:
Zdroj: Journal of Systemics, Cybernetics and Informatics, Vol 9, Iss 7, Pp 58-62 (2011)
Druh dokumentu: article
ISSN: 1690-4524
Popis: Bisimulation methods for design and verification of complex digital electronics have become well established in engineering practice. Concurrently, there have been dramatic theoretical advances in the theory of hybrid dynamical systems. This paper explores the how these advances can be incorporated into research methods for the emerging area of cyber-physical systems from a cybernetics perspective. The results can be used in determining how design of engineered systems can be safely integrated into physical systems.
Databáze: Directory of Open Access Journals
načítá se...