CONTROLLER SYNTHESIS FOR TIMED AUTOMATA

by Eugene Asarin , Oded Maler , Amir Pnueli , Joseph Sifakis

Citations:

86 - 11 self

Datum	Value	Source
TITLE	CONTROLLER SYNTHESIS FOR TIMED AUTOMATA 1	SVM HeaderParse 0.2
AUTHOR NAME	Eugene Asarin	SVM HeaderParse 0.2
AUTHOR AFFIL	Institute for Information Transmission Problems, 19 Bol.	SVM HeaderParse 0.2
AUTHOR ADDR	Karetnyi per. 101447 Moscow, Russia.	SVM HeaderParse 0.2
AUTHOR NAME	Oded Maler	SVM HeaderParse 0.2
AUTHOR ADDR	Verimag, 2, av. de Vignate, 38610, Gieres, France.	SVM HeaderParse 0.2
AUTHOR NAME	Amir Pnueli	SVM HeaderParse 0.2
AUTHOR AFFIL	Department of Computer Science, Weizmann Institute of	SVM HeaderParse 0.2
AUTHOR ADDR	Science, Rehovot 76100, Israel.	SVM HeaderParse 0.2
AUTHOR NAME	Joseph Sifakis	SVM HeaderParse 0.2
AUTHOR ADDR	Verimag, 2, av. de Vignate, 38610, Gieres, France.	SVM HeaderParse 0.2
ABSTRACT	Abstract: In this work we tackle the following problem: given a timed automaton, restrict its transition relation in a systematic way so that all the remaining behaviors satisfy certain properties. This is an extension of the problem of controller synthesis for discrete event dynamical systems, where in addition to choosing among actions, the controller have the option of doing nothing and let the time pass. The problem is formulated using the notion of a real-time game, and a winning strategy is constructed as a xed-point of an operator on the space of states and clock con gurations. 1.	SVM HeaderParse 0.2
CITATIONS	12 found	ParsCit 1.0