Michael Tittus

According to our database, Michael Tittus authored at least 8 papers between 1994 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Specification of a batch plant using process algebra and Petri nets.

Petter Falkman, Bengt Lennartson, Michael Tittus

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

2000

A scalable deadlock avoidance policy for batch processes.

Michael Tittus, Placid M. Ferreira

Proceedings of the American Control Conference, 2000

1999

Hierarchical supervisory control for batch processes.

Michael Tittus, Bengt Lennartson

IEEE Trans. Control. Syst. Technol., 1999

1998

Control design for integrator hybrid systems.

Michael Tittus, Bo Egardt

IEEE Trans. Autom. Control., 1998

Modular supervisors for deadlock avoidance in batch processes.

Michael Tittus, Knut Åkesson

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Modeling, specification and controller synthesis for discrete event systems.

Bengt Lennartson, Michael Tittus, Martin Fabian

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1995

Control Synthesis for Batch Processes.

Michael Tittus

PhD thesis, 1995

1994

Hybrid Objects.

Michael Tittus, Bo Egardt

Proceedings of the Hybrid Systems II, 1994