Control-invariance of hybrid systems with forcible events - Brief paper

被引：7
|
作者：
Ushio, T [1 ]
Takai, S
机构：
[1] Osaka Univ, Grad Sch Engn Sci, Toyonaka, Osaka 5608531, Japan
[2] Kyoto Inst Technol, Dept Elect & Informat Sci, Sakyo Ku, Kyoto 6068585, Japan
来源：
AUTOMATICA | 2005年 / 41卷 / 04期
关键词：
hybrid system; hybrid automaton; forcible event; control-invariance; state feedback;
D O I：
10.1016/j.automatica.2004.10.013
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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. (c) 2004 Elsevier Ltd. All rights reserved.
引用
收藏
页码：669 / 675
页数：7
相关论文
共 50 条
12345