Safety analysis of a Class of Timed Automata Hybrid Systems

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

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak: Megawati, Noorma Yulia, Sutarto, Herman Y., Salmah, Suparwanto, Ari, Wijayanti, Indah Emilia, Solikhatun, Budiyono, Agus, Joelianto, Endra
Formatua: Conference or Workshop Item
Hizkuntza:English
Argitaratua: 2009
Gaiak:
Pure Mathematics
Sarrera elektronikoa:https://repository.ugm.ac.id/101247/1/21.pdf

Internet

https://repository.ugm.ac.id/101247/1/21.pdf

Antzeko izenburuak