Madhavan Mukund

Automata, Concurrency and Timed Systems
Jan-Apr 2010

Automata, Concurrency and Timed Systems

January-April, 2010

Reading material

Distributed Automata

  • 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)

Regularity and Trace Closure

  • 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

  • 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.

Petri Nets

  • 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.

Timed Systems

  • 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).

Hybrid Systems

  • 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 event structures

  • Regular Trace Event Structures (PDF),
    P. S. Thiagarajan,
    BRICS Research Report RS-96-32, Aarhus University (1996).

Material from the lectures