Abstractions of hybrid systems: Formal languages to describe dynamical behaviour

Rebekah Carter; Eva M. Navarro-López

doi:10.3182/20110828-6-IT-1002.01072

Abstractions of hybrid systems: Formal languages to describe dynamical behaviour

Rebekah Carter, Eva M. Navarro-López

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

175 Downloads (Pure)

Abstract

We show how finite-state automata over finite and infinite words can capture key dynamical properties of hybrid systems. The purpose is to obtain a discrete abstraction of the main complex dynamical behaviour patterns that such systems exhibit. We will form a labelled transition system as an abstraction of the hybrid system, and, in order to differentiate between the key dynamical behaviours, we will associate a set of formal languages to each of the behaviours. We will use both finite regular and infinite w-regular languages. These formal languages can be accepted by a generalised Muller automaton, which is a novel approach in the specification of dynamical properties of hybrid systems. © 2011 IFAC.

Original language	English
Title of host publication	IFAC Proceedings Volumes (IFAC-PapersOnline)\|IFAC Proc. Vol. (IFAC-PapersOnline)
Publisher	International Federation of Automatic Control (IFAC)
Pages	4552-4557
Number of pages	5
Volume	18
ISBN (Print)	9783902661937
DOIs	https://doi.org/10.3182/20110828-6-IT-1002.01072
Publication status	Published - 2011
Event	18th IFAC World Congress - Milan, Italy Duration: 28 Aug 2011 → 2 Sept 2011

Conference

Conference	18th IFAC World Congress
City	Milan, Italy
Period	28/08/11 → 2/09/11

Keywords

Abstraction
Automata theory
Formal languages
Hybrid automata
Hybrid dynamical systems
Specification

Access to Document

10.3182/20110828-6-IT-1002.01072

FULL-TEXT

Cite this

@inproceedings{b86656ebb2954fa99a6b4a9feadf1dae,

title = "Abstractions of hybrid systems: Formal languages to describe dynamical behaviour",

abstract = "We show how finite-state automata over finite and infinite words can capture key dynamical properties of hybrid systems. The purpose is to obtain a discrete abstraction of the main complex dynamical behaviour patterns that such systems exhibit. We will form a labelled transition system as an abstraction of the hybrid system, and, in order to differentiate between the key dynamical behaviours, we will associate a set of formal languages to each of the behaviours. We will use both finite regular and infinite w-regular languages. These formal languages can be accepted by a generalised Muller automaton, which is a novel approach in the specification of dynamical properties of hybrid systems. {\textcopyright} 2011 IFAC.",

keywords = "Abstraction, Automata theory, Formal languages, Hybrid automata, Hybrid dynamical systems, Specification",

author = "Rebekah Carter and Navarro-L{\'o}pez, {Eva M.}",

year = "2011",

doi = "10.3182/20110828-6-IT-1002.01072",

language = "English",

isbn = "9783902661937",

volume = "18",

pages = "4552--4557",

booktitle = "IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline)",

publisher = "International Federation of Automatic Control (IFAC)",

address = "Austria",

note = "18th IFAC World Congress ; Conference date: 28-08-2011 Through 02-09-2011",

}

Carter, R & Navarro-López, EM 2011, Abstractions of hybrid systems: Formal languages to describe dynamical behaviour. in IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). vol. 18, International Federation of Automatic Control (IFAC), pp. 4552-4557, 18th IFAC World Congress, Milan, Italy, 28/08/11. https://doi.org/10.3182/20110828-6-IT-1002.01072

Abstractions of hybrid systems: Formal languages to describe dynamical behaviour. / Carter, Rebekah; Navarro-López, Eva M.
IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). Vol. 18 International Federation of Automatic Control (IFAC), 2011. p. 4552-4557.

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Abstractions of hybrid systems: Formal languages to describe dynamical behaviour

AU - Carter, Rebekah

AU - Navarro-López, Eva M.

PY - 2011

Y1 - 2011

N2 - We show how finite-state automata over finite and infinite words can capture key dynamical properties of hybrid systems. The purpose is to obtain a discrete abstraction of the main complex dynamical behaviour patterns that such systems exhibit. We will form a labelled transition system as an abstraction of the hybrid system, and, in order to differentiate between the key dynamical behaviours, we will associate a set of formal languages to each of the behaviours. We will use both finite regular and infinite w-regular languages. These formal languages can be accepted by a generalised Muller automaton, which is a novel approach in the specification of dynamical properties of hybrid systems. © 2011 IFAC.

AB - We show how finite-state automata over finite and infinite words can capture key dynamical properties of hybrid systems. The purpose is to obtain a discrete abstraction of the main complex dynamical behaviour patterns that such systems exhibit. We will form a labelled transition system as an abstraction of the hybrid system, and, in order to differentiate between the key dynamical behaviours, we will associate a set of formal languages to each of the behaviours. We will use both finite regular and infinite w-regular languages. These formal languages can be accepted by a generalised Muller automaton, which is a novel approach in the specification of dynamical properties of hybrid systems. © 2011 IFAC.

KW - Abstraction

KW - Automata theory

KW - Formal languages

KW - Hybrid automata

KW - Hybrid dynamical systems

KW - Specification

U2 - 10.3182/20110828-6-IT-1002.01072

DO - 10.3182/20110828-6-IT-1002.01072

M3 - Conference contribution

SN - 9783902661937

VL - 18

SP - 4552

EP - 4557

BT - IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline)

PB - International Federation of Automatic Control (IFAC)

T2 - 18th IFAC World Congress

Y2 - 28 August 2011 through 2 September 2011

ER -

Abstractions of hybrid systems: Formal languages to describe dynamical behaviour

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this