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 条

[21] ON THE INVARIANCE OF THE HYBRID POSITION FORCE CONTROL
ABBATIMARESCOTTI, A
BONIVENTO, C
MELCHIORRI, C
JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 1990, 3 (03) : 233 - 250
[22] INVARIANCE ENTROPY FOR CONTROL SYSTEMS
Colonius, Fritz
Kawan, Christoph
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2009, 48 (03) : 1701 - 1721
[23] Invariance Pressure for Control Systems
Colonius, Fritz
Santana, Alexandre J.
Cossich, Joao A. N.
JOURNAL OF DYNAMICS AND DIFFERENTIAL EQUATIONS, 2019, 31 (01) : 1 - 23
[24] Invariance for impulsive control systems
Pereira, F. Lobo
Silva, G. Nunes
Oliveira, V.
AUTOMATION AND REMOTE CONTROL, 2008, 69 (05) : 788 - 800
[25] Invariance for impulsive control systems
F. Lobo Pereira
G. Nunes Silva
V. Oliveira
Automation and Remote Control, 2008, 69 : 788 - 800
[26] Invariance Pressure for Control Systems
Fritz Colonius
Alexandre J. Santana
João A. N. Cossich
Journal of Dynamics and Differential Equations, 2019, 31 : 1 - 23
[27] Invariance for impulsive control systems
de Oliveira, VA
Pereira, FL
Silva, GN
42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 5174 - 5179
[28] On the controllability of switching linear systems - Brief paper
Krastanov, MI
Veliov, VM
AUTOMATICA, 2005, 41 (04) : 663 - 668
[29] Combinatorial methods for invariance and safety of hybrid systems
Athanasopoulos, Nikolaos
Jungers, Raphael M.
AUTOMATICA, 2018, 98 : 130 - 140
[30] Invariance principles for switching systems via hybrid systems techniques
Goebel, Rafal
Sanfelice, Ricardo G.
Teel, Andrew R.
SYSTEMS & CONTROL LETTERS, 2008, 57 (12) : 980 - 986

← 1 2 3 4 5 →