Hierarchical control synthesis for eventuality specifications in hybrid systems - Invited Session

A. Trontis, M.P. Spathopoulos

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Paper examining hierarchical control synthesis for eventuality specifications in hybrid systems.
LanguageEnglish
Title of host publicationProceedings of the IFAC Conference on Analysis and Design of Hybrid Systems
Publication statusPublished - 2003

Fingerprint

Hybrid systems
Specifications

Keywords

  • control systems
  • hybrid systems
  • automatic control

Cite this

Trontis, A., & Spathopoulos, M. P. (2003). Hierarchical control synthesis for eventuality specifications in hybrid systems - Invited Session. In Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems
Trontis, A. ; Spathopoulos, M.P. / Hierarchical control synthesis for eventuality specifications in hybrid systems - Invited Session. Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems. 2003.
@inbook{99f50a121599490fa4696d587e9da336,
title = "Hierarchical control synthesis for eventuality specifications in hybrid systems - Invited Session",
abstract = "Paper examining hierarchical control synthesis for eventuality specifications in hybrid systems.",
keywords = "control systems, hybrid systems, automatic control",
author = "A. Trontis and M.P. Spathopoulos",
year = "2003",
language = "English",
booktitle = "Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems",

}

Trontis, A & Spathopoulos, MP 2003, Hierarchical control synthesis for eventuality specifications in hybrid systems - Invited Session. in Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems.

Hierarchical control synthesis for eventuality specifications in hybrid systems - Invited Session. / Trontis, A.; Spathopoulos, M.P.

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems. 2003.

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Hierarchical control synthesis for eventuality specifications in hybrid systems - Invited Session

AU - Trontis, A.

AU - Spathopoulos, M.P.

PY - 2003

Y1 - 2003

N2 - Paper examining hierarchical control synthesis for eventuality specifications in hybrid systems.

AB - Paper examining hierarchical control synthesis for eventuality specifications in hybrid systems.

KW - control systems

KW - hybrid systems

KW - automatic control

M3 - Chapter

BT - Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems

ER -

Trontis A, Spathopoulos MP. Hierarchical control synthesis for eventuality specifications in hybrid systems - Invited Session. In Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems. 2003