Safety analysis of a Class of Timed Automata Hybrid Systems

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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Megawati, Noorma Yulia, Sutarto, Herman Y., Salmah, Suparwanto, Ari, Wijayanti, Indah Emilia, Solikhatun, Budiyono, Agus, Joelianto, Endra
Fformat: Conference or Workshop Item
Iaith:English
Cyhoeddwyd: 2009
Pynciau:
Mynediad Ar-lein:https://repository.ugm.ac.id/101247/1/21.pdf