Jörg Preußig

According to our database1, Jörg Preußig
  • authored at least 10 papers between 1995 and 2000.
  • has a "Dijkstra number"2 of four.

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


  Loading...