Formal Modeling and Analysis of Timed Systems First International Wo
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together w
- PDF / 3,373,606 Bytes
- 289 Pages / 430 x 660 pts Page_size
- 31 Downloads / 204 Views
2791
3
Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
Kim G. Larsen Peter Niebert (Eds.)
Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003 Marseille, France, September 6-7, 2003 Revised Papers
13
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Kim G. Larsen Aalborg University, Department of Computer Science Fr. Bajersvej 7E, 9220 Aalborg East, Denmark E-mail: [email protected] Peter Niebert Université de Provence, Laboratoire d’Informatique Fondamentale, CMI 39, Rue Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: [email protected]
Library of Congress Control Number: 2004103614 CR Subject Classification (1998): F.3, D.2, D.3, C.3 ISSN 0302-9743 ISBN 3-540-21671-5 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag is a part of Springer Science+Business Media springeronline.com c Springer-Verlag Berlin Heidelberg 2004 Printed in Germany Typesetting: Camera-ready by author, data conversion by DA-TeX Gerd Blumenstein Printed on acid-free paper SPIN: 10931844 06/3142 543210
Timed Automata and Timed Languages Challenges and Open Problems Eugene Asarin VERIMAG, Centre Equation 2 ave de Vignate, 38610 Gi`eres France [email protected]
Abstract. The first years of research in the area of timed systems were marked by a spectacular progress, but also by many natural and important problems left behind without solutions. Some of those are really hard, some have been completely overlooked, some are known only to small groups of researchers but have never been really attacked by the community. The aim of this talk is to present several open problems and research directions in the domain of timed systems which seem important to the author. In particular we will consider variants of timed automata, theory of timed languages, timed games etc.
Partially supported by the European community project IST-2001-35304 Ametist
K.G. Larsen and P. Niebert (Eds.): FORMATS 2003, LNCS 2791, p. 1, 2004. c Springer-Verlag Berlin Heidelberg 2004
Towards Efficient Partition Refinement for Checking Reachability in Timed Automata Agata P´ olrola1, Wojciech Penczek2,3 , and Maciej Szreter2 1
Faculty of Mathematics University of Lodz Banacha 22, 90-238 Lodz, Poland [email protected] 2 Institiute of Computer Science PAS Ordona 21, 01-237 Warsaw,
Data Loading...
