Control-invariance of hybrid systems with forcible events

Authors:
Toshimitsu Ushio;Shigemasa Takai
Affiliations:
Graduate School of Engineering Science, Osaka Univeristy, Toyonaka, Osaka 560-8531, Japan;Department of Electronics and Information Science, Kyoto Institute of Technology, Sakyo-ku, Kyoto 606-8585, Japan
Venue:
Automatica (Journal of IFAC)
Year:
2005

Citing 8
Cited 2

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
Modular feedback logic for discrete event systems

SIAM Journal on Control and Optimization
Communication and Concurrency

Communication and Concurrency
Control Synthesis of Hybrid Systems Based on Predicate Invariance

Hybrid Systems V
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Control synthesis of timed discrete event systems based onpredicate invariance

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Controllers for reachability specifications for hybrid systems

Automatica (Journal of IFAC)
Decidable hybrid systems

Mathematical and Computer Modelling: An International Journal

A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation

Discrete Event Dynamic Systems
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Quantified Score

Hi-index	22.14

Visualization

Abstract

This paper considers controlled hybrid automata with forcible events. First, we introduce two semantics of the controlled hybrid automata using labeled transition systems. Next, we extend a concept of control-invariance in discrete event systems and show necessary and sufficient conditions for a predicate to be control-invariant. Finally, we show that there always exists the supremal control-invariant subpredicate for any predicate.