Michael Tittus

Hybrid Systems & Batch Control

tel Borås: +46 33 174616 Privat:

fax Borås: +46 33 164008 Stobéegatan 23

e-mail: Michael.Tittus@hb.se 416 53 Göteborg, Sweden

URL: http://www.control.chalmers.se/~mt/hybrid.html Tel: +46 31 849159

CLAB IS HERE!!

If you were using a Java-enabled browser, you would see an animated scrolling text sign that looks like this:

Publications

Theses, Technical Reports

An Object-Oriented Framework for Control-System Design

M Tittus

Licenciate Thesis, Chalmers University of Technology, Gothenburg, Sweden, Dec 1992

Available at the Control Eng. Lab, e-mail to mt@control.chalmers.se

Abstract

Control Synthesis for Batch Processes

M Tittus

PhD thesis available from Control Eng. Lab., Chalmers Univ of Techn, Gothenburg, Sweden. Send e-mail to

mt@control.chalmers.se to aquire a copy.

Abstract

Control Design for Linear Hybrid Systems

M Tittus, B Egardt

Technical Report, Control Eng. Lab, Chalmers, 1994, reviewed by TAC

Conference Papers

Applying Object-Oriented Principles in Control-System Design

M Tittus, B Egardt

WRTP'92, Bruges, Belgium, June 1992

An Object-Oriented Framework for Control-System Design

M Tittus, B Egardt

1st Int Conf on Intelligent Systems Engineering, Edinburgh, Scotland, Aug 1992

Controllability and Control-Law Synthesis of Linear Hybrid Systems

M Tittus, B Egardt

DES'94, Sophia-Antipolis, France, June 1994

Hybrid Objects

M Tittus, B Egardt

2nd IEEE Mediterranean Symp on New Directions in Control & Automation, Chania, Crete, Greece, June 1994

Control-Law Synthesis for Linear Hybrid Systems

M Tittus, B Egardt

33rd CDC, Buena Vista, Florida, Dec 1994

Hybrid Systems in Process Control

B Lennartson, B Egardt, M Tittus

33rd CDC, Buena Vista, Florida, Dec 1994

An Algorithm for the Generation of Control Laws for Linear Hybrid Systems

M Tittus

Technical Report, Control Engineering Lab, Chalmers University of Technology, Gothenburg, Sweden, Dec 1993

Plant and Product Models for Batch Processes

M Tittus, B Egardt, and B Lennartson

Proc. of ECC95, Rome, Italy, sept 95

Automated Generation of Plant-Specific Recipes in Batch Control

M. Tittus, M Fabian

Proc. ICCI'95, Hong Kong, june 95

Controlling and Coordinating Recipes in Batch Applications

M Tittus, M Fabian, and B Lennartson

Proc. of 34th CDC, New Orleans, USA, dec 95

On the Use of Multiple Models and Formal Control Synthesis in Batch Control

M Tittus

Proc. of IFAC world congress, San Francisco, USA, july 96

Hierarchical Supervisory Control for Batch Processes

M Tittus
Proc. of 36th CDC, San Diego, California, USA, dec 97

Modular Control for avoiding deadlock in batch processes

K. Åkesson, M. Tittus
Proc. of World Batch Forum, Baltimore, april 1998

Hierarchical Supervisory Control for Batch Processes

M. Tittus, B. Lennartson
Proc. of ACC, Philadelphia, june 1998

Deadlock avoidance in batch processes

M. Tittus, K. Åkesson
accepted for publication at IFAC World Congress, Bejing, aug 1999

Modeling, Specification and Controller Synthesis for Discrete Event Systems

B. Lennartson, M. Tittus, M. Fabian
Proc of SMC'98, p. 698--703, San Diego, CA, 1998

Modular Supervisors for Deadlock Avoidance in Batch Processes

M. Tittus, K. Åkesson
Proc of SMC'98, p. 764--769, San Diego, CA, 1998

Modeling Primitives for Supervisory Control

B. Lennartson, M. Fabian, M. Tittus, A. Hellgren
Proc of CDC'98, p. 3789-3794, Tampa, FL, 1998

Modeling Primitives for Supervisory Control

B. Lennartson, M. Fabian, M. Tittus, A. Hellgren
Proc of WODES'98, p. 67--72, Cagliary, Italy, 1998

Specification Structures for Supervisory Control

B. Lennartson, M. Tittus, M. Fabian, A. Hellgren, S.-A. Andréasson
Proc of WODES'98, p. 30--35, Cagliary, Italy, 1998

Invited Papers

Discrete Event Models in Batch Control

M. Tittus, K. Åkesson
Proc. of 2nd MATHMOD, Vienna, Austria, february 97

Modular Supervisors for deadlock avoidance in batch processes

M. Tittus, K. Åkesson
Proc. of Conference on Systems, Man and Cybernetics. San Diego, oct 1998

Reviewed Articles

Hybrid Objects

M Tittus, B Egardt

"Hybrid Systems II", Lecture Notes of Computer Science 999, 1995

Hybrid Systems in Process Control

B Lennartson, M Tittus, B Egardt, and S. Pettersson

IEEE Control Magazine, oct 96

Petri Net Models in Batch Control

M. Tittus, K Åkesson
Journal Mathematical Modelling of Systems, to be published

Control Design for Integrator Hybrid Systems

M. Tittus, B. Egardt
IEEE Transactions of Automatic Control, aug 98

Hierarchical Supervisory Control for Batch Processes

M. Tittus, B. Lennartson
IEEE Transactions on Control Systems Technology, sept 1999