Safety analysis of a Class of Timed Automata Hybrid Systems

• Main Authors: Megawati, Noorma Yulia, Sutarto, Herman Y., Salmah, Suparwanto, Ari, Wijayanti, Indah Emilia, Solikhatun, Budiyono, Agus, Joelianto, Endra
• Format: Conference or Workshop Item PeerReviewed
• Language: English
• Published: 2009
• Subjects: Pure Mathematics
• Online Access: https://repository.ugm.ac.id/101247/1/21.pdf; https://repository.ugm.ac.id/101247/

This paper investigates safety analysis of reachability of timed automata hybrid systems as an extension of safety analysis of linear system. By studying the initial and terminal sets, the safety analysis problems can be represented as geometric optimization problems which can be transformed into a...