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

Full description

Saved in:
Bibliographic Details
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/
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Universitas Gadjah Mada
Language: English

Internet

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

Similar Items