Reliable implementation of hybrid control systems for advanced avionics
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 93-112
- https://doi.org/10.1007/bfb0031557
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Conflict resolution for multi-agent hybrid systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Consistency checking of SCR-style requirements specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Hybrid control in air traffic management systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Completeness and consistency analysis of state-based requirementsPublished by Association for Computing Machinery (ACM) ,1995
- Requirements specification for process-control systemsIEEE Transactions on Software Engineering, 1994
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Binary Decision DiagramsIEEE Transactions on Computers, 1978