par Doyen, Laurent 
Référence Information processing letters, 102, 5, page (208-213)
Publication Publié, 2007
Référence Information processing letters, 102, 5, page (208-213)
Publication Publié, 2007
Article révisé par les pairs
| Résumé : | We review the known decidability and undecidability results for reachability in parametric timed automata. Then, we present a new proof of undecidability in dense time for open timed automata that avoids equalities in clock constraints. Our result shows that the undecidability of parametric timed automata does not follow from their ability to specify punctual constraints in a dense time domain. © 2006 Elsevier B.V. All rights reserved. |
