Safety analysis of a Class of Timed Automata Hybrid Systems

• المؤلفون الرئيسيون: Megawati, Noorma Yulia, Sutarto, Herman Y., Salmah, Suparwanto, Ari, Wijayanti, Indah Emilia, Solikhatun, Budiyono, Agus, Joelianto, Endra
• التنسيق: Conference or Workshop Item PeerReviewed
• اللغة: English
• منشور في: 2009
• الموضوعات: Pure Mathematics
• الوصول للمادة أونلاين: 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...