Michael Tittus

Publication Activity (10 Years)

Years Active: 1994-2005
Publications (10 Years): 0

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Petter Falkman, Bengt Lennartson, Michael Tittus
Specification of a batch plant using process algebra and Petri nets. CASE (2005)
Michael Tittus, Placid M. Ferreira
A scalable deadlock avoidance policy for batch processes. ACC (2000)
Michael Tittus, Bengt Lennartson
Hierarchical supervisory control for batch processes. IEEE Trans. Control. Syst. Technol. 7 (5) (1999)
Michael Tittus, Bo Egardt
Control design for integrator hybrid systems. IEEE Trans. Autom. Control. 43 (4) (1998)
Bengt Lennartson, Michael Tittus, Martin Fabian
Modeling, specification and controller synthesis for discrete event systems. SMC (1998)
Michael Tittus, Knut Åkesson
Modular supervisors for deadlock avoidance in batch processes. SMC (1998)
Michael Tittus, Bo Egardt
Hybrid Objects. Hybrid Systems (1994)