Assessing the combination of differential flatness and deterministic automata for controllable hybrid systems

被引：1

作者：

Zahn, Frederik ^{[1
]}

Kleinert, Tobias ^{[2
]}

Hagenmeyer, Veit ^{[1
]}

机构：

[1] Karlsruhe Inst Technol, Inst Automat & Appl Informat, Karlsruhe, Germany

[2] Rhein Westfal TH Aachen, Chair Informat & Automat Syst Proc & Mat Technol, Aachen, Germany

来源：

2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC) | 2022年

关键词：

OBSERVABILITY;

D O I：

10.1109/CDC51059.2022.9993043

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Hybrid automata are a powerful model class to analyze and control technical systems with nonlinear continuous dynamics and discrete-event dynamics. However, due to their complexity, controllability is generally hard to achieve in hybrid automata, although it is a desirable property of engineered systems. In the present paper, we assess a novel model class of controllable deterministic hybrid automata, which we call Flat Hybrid Automata. This model class is based on the concept of differential flatness for the nonlinear continuous dynamics and on the property of determinism and controllability for the discrete event dynamics. We review the formal definition and we give the respective conditions and a proof for its controllability. An electrical network example illustrates the methodology and shows its potential regarding modelling, control and system design.

引用

页码：2612 / 2619

页数：8

共 50 条

[31] Globally Deterministic CD-Systems of Stateless R(1)-Automata
Nagy, Benedek
Otto, Friedrich
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2011, 6638 : 390 - +
[32] Control of uncertain nonholonomic mechanical systems using differential flatness
Barany, E
Glass, K
Colbaugh, R
PROCEEDINGS OF THE 1998 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1998, : 917 - 921
[33] MOTION PLANNING AND DIFFERENTIAL FLATNESS OF MECHANICAL SYSTEMS ON PRINCIPAL BUNDLES
Dear, Tony
Kelly, Scott David
Travers, Matthew
Choset, Howie
PROCEEDINGS OF THE ASME 8TH ANNUAL DYNAMIC SYSTEMS AND CONTROL CONFERENCE, 2015, VOL 3, 2016,
[34] Fault detection using differential flatness in flight guidance systems
Lu, Wen Chi
Fellouah, Rabbah
Andrei, Geanina
Zhang, N.
Mora-Camino, F.
Doncescu, A.
CISIS 2007: FIRST INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS, PROCEEDINGS, 2007, : 155 - 159
[35] DETERMINISTIC FILTERING ALGORITHMS FOR NONLINEAR DIFFERENTIAL SYSTEMS
NIHTILA, MT
ACTA POLYTECHNICA SCANDINAVICA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 1979, (30): : 3 - 51
[36] Hybrid automata-based CEGAR for rectangular hybrid systems
Prabhakar, Pavithra
Duggirala, Parasara Sridhar
Mitra, Sayan
Viswanathan, Mahesh
FORMAL METHODS IN SYSTEM DESIGN, 2015, 46 (02) : 105 - 134
[37] Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
Prabhakar, Pavithra
Duggirala, Parasara Sridhar
Mitra, Sayan
Viswanathan, Mahesh
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2013), 2013, 7737 : 48 - 67
[38] Hybrid automata-based CEGAR for rectangular hybrid systems
Pavithra Prabhakar
Parasara Sridhar Duggirala
Sayan Mitra
Mahesh Viswanathan
Formal Methods in System Design, 2015, 46 : 105 - 134
[39] Representation of hybrid systems by means of stochastic automata
Lunze, J
Nixdorf, B
MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, 2001, 7 (04) : 383 - 422
[40] From finite automata toward hybrid systems
Rabinovich, A
Trakhtenbrot, BA
FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 411 - 422

← 1 2 3 4 5 →