Towards Scenario-Based Synthesis for Parametric Timed Automata (bibtex)
Reference:
Holger Giese, "Towards Scenario-Based Synthesis for Parametric Timed Automata", in Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM, ICSE 2003 Workshop 8), Portland, USA, May 2003.
Abstract:
A number of approaches exists that permit to synthesize the operational state-based behavior of a set of components for a set of scenarios. In this paper we explore how to extend these approaches to also tackle the problem for scenarios with parametric timing constraints in form of upper and lower time bounds. The resulting time consistency problems are identified and ideas for an algorithmic handling are presented.
Links:
@InProceedings{G03_ag,
AUTHOR = {Giese, Holger},
TITLE = {{Towards Scenario-Based Synthesis for Parametric Timed Automata}},
YEAR = {2003},
MONTH = {May},
BOOKTITLE = {Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM, ICSE 2003 Workshop 8), Portland, USA},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2003/ICSE2003-SCESM-G.pdf},
PDF = {ICSE2003-SCESM-G.pdf},
ABSTRACT = {A number of approaches exists that permit to synthesize the operational state-based behavior of a set of components for a set of scenarios. In this paper we explore how to extend these approaches to also tackle the problem for scenarios with parametric timing constraints in form of upper and lower time bounds. The resulting time consistency problems are identified and ideas for an algorithmic handling are presented.}
}
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser