Discrete-time control systems
Mathematical control theory: deterministic systems
Mathematical control theory: deterministic systems
Methods and logics for proving programs
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Feedback control systems (2nd ed.)
Feedback control systems (2nd ed.)
Abstract interpretation and application to logic programs
Journal of Logic Programming
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Abstract verification of structured dynamical systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Introduction to mathematical systems theory: a behavioral approach
Introduction to mathematical systems theory: a behavioral approach
Digital Control
Invariance and Contraction by Infinite Iterations of Relations
Research Directions in High-Level Parallel Programming Languages
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
A Modular Visual Model for Hybrid Systems
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Dynamical Simulation Facility for Hybrid Systems
Hybrid Systems
Using HYTECH to Verify an Automative Control System
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Steam-Boiler Control Specification Problem
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Software Engineering for Automotive Systems: A Roadmap
FOSE '07 2007 Future of Software Engineering
Specifying the worst case: orthogonal modeling of hardware errors
Proceedings of the eighteenth international symposium on Software testing and analysis
| Hi-index | 0.00 |
The paper formalizes and classifies important properties of hybrid, i.e. mixed discrete and continuous, systems from a computer science point of view. General proof methods for some of these properties are also provided and applied to an example. For the central properties stability and attraction the vital role topology plays in their definition is made obvious and paralleles to invariance and persistence properties from the computer science domain are drawn. In the context of proof methods conditions are identified under which Liapunov functions define Galois connections. This relates a control theory method of abstraction to an abstraction technique which is usually applied in computer science. As a whole the paper promotes a deeper understanding of hybrid systems by computer scientists.