Jörg Preußig

According to our database, Jörg Preußig authored at least 12 papers between 1995 and 2001.

Collaborative distances:

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

2001

Some lessons from the HYTECH experience.

Thomas A. Henzinger, Jörg Preußig, Howard Wong-Toi

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten.

Jörg Preußig

PhD thesis, 2000

A procedure for reachability analysis of rectangular automata.

Howard Wong-Toi, Jörg Preußig

Proceedings of the American Control Conference, 2000

1999

Verification of logic controllers for continuous plants using timed condition/event-system models.

Stefan Kowalewski, Sebastian Engell, Jörg Preußig, Olaf Stursberg

Autom., 1999

Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis.

Jörg Preußig, Olaf Stursberg, Stefan Kowalewski

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

1998

Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.

Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig

Scalable Comput. Pract. Exp., 1998

An Algorithm for the Approximative Analysis of Rectangular Automata.

Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.

Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler

Proceedings of the Hybrid Systems V, 1997

Comparing Timed C/E Systems with Timed Automata (Abstract).

Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig

Proceedings of the Hybrid and Real-Time Systems, 1997

1996

Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control.

Stefan Kowalewski, Jörg Preußig

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Comparing Timed and Hybrid Automata as Approximations of Continuous Systems.

Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig

Proceedings of the Hybrid Systems IV, 1996

1995

Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems.

Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig

Proceedings of the EUROSIM'96, 1995