Hybrid Systems

• 1 January 1993
• book
• Published by Springer Nature
• https://doi.org/10.1007/3-540-57318-6

Abstract

Keywords

• COMPUTER
• HYBRIDE AUTOMATEN
• KONTROLLSYSTEME
• NERO
• SYSTEMMODELLIERUNG
• SYSTEMSPEZIFIKATION
• TOPOLOGIE
• ALGORITHMS
• AUTOMATA
• CALCULUS
• HYBRID AUTOMATA
• MODELING
• SYSTEM MODELING
• SYSTEMS MODELING
• VERIFICATION