PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Preußig, Jörg"

Author of the publication

copydeleteadd this publication to your clipboard
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.

, , , , , , , , and . Hybrid Systems, volume 1567 of Lecture Notes in Computer Science, page 163-185. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. phil. Christian Jörg University of Stuttgart

Fabian Jörg University of Stuttgart

Jörg Desel

Das ist Informatik (Eds.) Springer, (2001)

Jörg Förstner University of Stuttgart

Jörg Roth University of Stuttgart

 

Other publications of authors with the same name

Verification of logic controllers for continuous plants using timed condition/event-system models., , , and . Automatica, 35 (3): 505-518 (1999)Comparing Timed and Hybrid Automata as Approximations of Continuous Systems., , , and . Hybrid Systems, volume 1273 of Lecture Notes in Computer Science, page 361-377. Springer, (1996)Comparing Timed C/E Systems with Timed Automata (Abstract)., , , , , and . HART, volume 1201 of Lecture Notes in Computer Science, page 81-86. Springer, (1997)Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten.. Technical University of Dortmund, Germany, (2000)A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem., , , , , , , , and . Hybrid Systems, volume 1567 of Lecture Notes in Computer Science, page 163-185. Springer, (1997)An Algorithm for the Approximative Analysis of Rectangular Automata., , , and . FTRTFT, volume 1486 of Lecture Notes in Computer Science, page 228-240. Springer, (1998)Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems., , , and . EUROSIM, page 421-426. Elsevier, (1995)Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control., and . TACAS, volume 1055 of Lecture Notes in Computer Science, page 225-240. Springer, (1996)Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis., , and . HSCC, volume 1569 of Lecture Notes in Computer Science, page 209-222. Springer, (1999)Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems., , , , , and . Scalable Computing: Practice and Experience, (1998)