Automata on Distributed Alphabets,
(PDF,
PDF 2-in-1)
Madhavan Mukund,
to appear in Deepak D'Souza and Priti Shankar (eds),
Modern Applications of Automata Theory, World
Scientific.
Determinizing Asynchronous Automata,
(PDF),
Nils Klarlund, Madhavan Mukund and Milind Sohoni,
TR TCS-93-5, CMI
(abridged version appeared in Proc. ICALP 1994)
The "last" decision problem for rational trace languages
(PDF),
Jacques Sakarovitch,
Proc LATIN 1992, Springer LNCS 583, (1992) 460-473.
A Note on the Commutative Closure of Star-Free Languages,
(PDF),
Anca Muscholl and Holger Petersen,
Information Processing Letters (IPL), 57(2),
(1996) 71-74.
Elementary Net Systems
(PDF),
Grzegorz Rozenberg and Joost Engelfriet,
Lectures on Petri Nets I: Basic Models, Advances
in Petri Nets, Springer LNCS 1491 (1998) 12-121.
Some Behavioural Aspects of Net Theory
(PDF),
P.S. Thiagarajan,
Theoretical Computer Science, 71 (1990) 133-153.
Behavioural Notions for Elementary Net Systems
(PDF),
M. Nielsen, G. Rozenberg and P.S. Thiagarajan,
Distributed Computing, 4 (1990) 45-75.
Petri Nets, Event Structures and Domains
(PDF),
M. Nielsen, G. Plotkin and G. Winskel,
Theoretical Computer Science, 13 (1981) 85-108.
Place/Transition Nets
(PDF),
Joerg Desel and Wolfgang Reisig,
Lectures on Petri Nets I: Basic Models, Advances
in Petri Nets, Springer LNCS 1491 (1998) 122-173.
An Improvement of McMillan's Unfolding Algorithm
(PDF),
Javier Esparza, Stefan Roemer and Walter Vogler,
Formal Methods in System Design 20(3) (2002) 285-310.
A Theory of Timed Automata
(PDF),
Rajeev Alur and David Dill,
Theoretical Computer Science 126(2) (1994) 183-235.
Decision problems for timed automata: A survey
(PDF),
Rajeev Alur and P. Madhusudan,
4th Intl. School on Formal Methods for Computer,
Communication, and Software Systems: Real Time (2004).
Foundations for Timed Systems
(PDF),
Patricia Bouyer,
Tutorial (2005).
Clocks, DBMs and States in Timed Systems
(PDF),
Johan Bengtsson,
PhD Thesis, Uppsala University (2002).
An Introduction to Hybrid Automata
(PDF),
Jean-Francois Raskin,
in
Dimitros Hristu-Varsakelis, William
S. Levine (Eds.),
Handbook of Networked and Embedded Control
Systems
Birkhauser (2005), 491-518.
What's Decidable about Hybrid Automata?
(PDF),
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri and Pravin Varaiya,
Journal of Computer and Systems Sciences 57(1),
(1998) 94-124.
Lazy Rectangular Hybrid Automata
(PDF),
Manindra Agrawal and P. S. Thiagarajan,
Proc HSCC 2004
Regular Trace Event Structures
(PDF),
P. S. Thiagarajan,
BRICS Research Report RS-96-32, Aarhus University (1996).
Lecture 3, 27 January 2010