Perturbed Timed Automata

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Real-Time
CPS Formal Methods
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
La Torre, Salvatore
Madhusudan, P.
Contributor
Abstract

We consider timed automata whose clocks are imperfect. For a given perturbation error 0 < ε < 1, the perturbed language of a timed automaton is obtained by letting its clocks change at a rate within the interval [1 - ε, 1 + ε]. We show that the perturbed language of a timed automaton with a single clock can be captured by a deterministic timed automaton. This leads to a decision procedure for the language inclusion problem for systems modeled as products of 1-clock automata with imperfect clocks. We also prove that determinization and decidability of language inclusion are not possible for multi-clock automata, even with perturbation.

Advisor
Date of presentation
2005-03-09
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:30:28.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
From the 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005.
Postprint version. Published in Lecture Notes in Computer Science, Volume 3414, Hybrid Systems: Computation and Control, 2005, pages 70-85. Publisher URL: http://dx.doi.org/10.1007/b106766
Recommended citation
Collection