Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10398862 | Automatica | 2005 | 7 Pages |
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.
Related Topics
Physical Sciences and Engineering
Engineering
Control and Systems Engineering
Authors
Toshimitsu Ushio, Shigemasa Takai,