# Jörg Preußig

According to our database

Collaborative distances:

^{1}, Jörg Preußig authored at least 10 papers between 1995 and 2000.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2000

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

PhD thesis, 2000

1999

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

Automatica, 1999

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

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.

Scalable Computing: Practice and Experience, 1998

An Algorithm for the Approximative Analysis of Rectangular Automata.

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.

Proceedings of the Hybrid Systems V, 1997

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

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.

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

Comparing Timed and Hybrid Automata as Approximations of Continuous Systems.

Proceedings of the Hybrid Systems IV, 1996

1995

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

Proceedings of the EUROSIM'96, 1995