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 |
Externí odkaz: |
|