Classification-based parameter synthesis for parametric timed automata

Classification-based parameter synthesis for parametric timed automata

Parametric timed automata are designed to model timed systems with unknown parameters, often representing design uncertainties of external environments. In order to design a robust system, it is crucial to synthesize constraints on the parameters, which guarantee the system behaves according to cert...

Full description

Saved in:
Bibliographic Details
Main Authors: LI, Jiaying, SUN, Jun, GAO, Bo, ANDRE, Étienne
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2017
Subjects:
Automata theory
Formal methods
Software engineering
Time sharing systems
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/4707
https://ink.library.smu.edu.sg/context/sis_research/article/5710/viewcontent/Classification_based_parameter_icfem17_av.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/4707
https://ink.library.smu.edu.sg/context/sis_research/article/5710/viewcontent/Classification_based_parameter_icfem17_av.pdf

Similar Items