Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Duration Calculi: An Overview (Invited Paper)
Proceedings of the International Conference on Formal Methods in Programming and Their Applications
An Extended Duration Calculus for Hybrid Real-Time Systems
Hybrid Systems
Semantics and Completeness of Duration Calculus
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Formal Design of Hybrid Systems
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
| Hi-index | 0.00 |
This paper presents a control framework for interval temporal systems, in particular systems modeled by expressions of Duration Calculus. Duration Calculus is a formal specification language for real-time systems. Its distinguishing feature is to formalize and reason about interval properties of discrete states of systems. In this paper, interval temporal systems are taken as dynamic systems equipped with a state space, and a state transition structure. A control structure is adjoined to such systems, and this makes it possible to restrict the systems behaviors so that the closed systems behaviors can satisfy the required specifications. Some typical control issues are solved within this framework.