Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

Abstract

Reachability analysis of hybrid system imposes restrictions on the continuous and discrete behavior. In this paper a method is proposed to approximate the reachable set of linear systems by linear inequalities. It allows to use the full continuous dynamics of hybrid systems for reachability analysis. This method is applied to an automotive control problem, which was presented by Stauner et al. in [SMF97].
Original languageEnglish
Title of host publicationHybrid Systems: Computation and Control
Subtitle of host publicationFirst International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings
EditorsThomas A. Henzinger, Shankar Sastry
Place of PublicationBerlin
PublisherSpringer
Pages110-125
Number of pages16
ISBN (Electronic)978-3-540-69754-1
ISBN (Print)978-3-540-64358-6
DOIs
Publication statusPublished - 1998
Externally publishedYes
Event1st International Workshop on Hybrid Systems: Computation and Control, HSCC 1998 - Berkeley, United States
Duration: 13 Apr 199815 Apr 1998
Conference number: 1

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume1386
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International Workshop on Hybrid Systems: Computation and Control, HSCC 1998
Abbreviated titleHSCC
CountryUnited States
City Berkeley
Period13/04/9815/04/98

Fingerprint

Hybrid systems
Linear systems

Keywords

  • Hybrid System
  • Linear Inequality
  • Reachable State
  • Hybrid Automaton
  • Reachability Analysis

Cite this

Fehnker, A. (1998). Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. In T. A. Henzinger, & S. Sastry (Eds.), Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings (pp. 110-125). (Lecture Notes in Computer Science; Vol. 1386). Berlin: Springer. https://doi.org/10.1007/3-540-64358-3_35
Fehnker, Ansgar . / Automotive Control Revisited : Linear Inequalities as Approximation of Reachable Sets. Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. editor / Thomas A. Henzinger ; Shankar Sastry. Berlin : Springer, 1998. pp. 110-125 (Lecture Notes in Computer Science).
@inproceedings{113c13dddd554e6ca3bd8df06d021138,
title = "Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets",
abstract = "Reachability analysis of hybrid system imposes restrictions on the continuous and discrete behavior. In this paper a method is proposed to approximate the reachable set of linear systems by linear inequalities. It allows to use the full continuous dynamics of hybrid systems for reachability analysis. This method is applied to an automotive control problem, which was presented by Stauner et al. in [SMF97].",
keywords = "Hybrid System, Linear Inequality, Reachable State, Hybrid Automaton, Reachability Analysis",
author = "Ansgar Fehnker",
year = "1998",
doi = "10.1007/3-540-64358-3_35",
language = "English",
isbn = "978-3-540-64358-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "110--125",
editor = "Henzinger, {Thomas A.} and Shankar Sastry",
booktitle = "Hybrid Systems: Computation and Control",

}

Fehnker, A 1998, Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. in TA Henzinger & S Sastry (eds), Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Lecture Notes in Computer Science, vol. 1386, Springer, Berlin, pp. 110-125, 1st International Workshop on Hybrid Systems: Computation and Control, HSCC 1998, Berkeley, United States, 13/04/98. https://doi.org/10.1007/3-540-64358-3_35

Automotive Control Revisited : Linear Inequalities as Approximation of Reachable Sets. / Fehnker, Ansgar .

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. ed. / Thomas A. Henzinger; Shankar Sastry. Berlin : Springer, 1998. p. 110-125 (Lecture Notes in Computer Science; Vol. 1386).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Automotive Control Revisited

T2 - Linear Inequalities as Approximation of Reachable Sets

AU - Fehnker, Ansgar

PY - 1998

Y1 - 1998

N2 - Reachability analysis of hybrid system imposes restrictions on the continuous and discrete behavior. In this paper a method is proposed to approximate the reachable set of linear systems by linear inequalities. It allows to use the full continuous dynamics of hybrid systems for reachability analysis. This method is applied to an automotive control problem, which was presented by Stauner et al. in [SMF97].

AB - Reachability analysis of hybrid system imposes restrictions on the continuous and discrete behavior. In this paper a method is proposed to approximate the reachable set of linear systems by linear inequalities. It allows to use the full continuous dynamics of hybrid systems for reachability analysis. This method is applied to an automotive control problem, which was presented by Stauner et al. in [SMF97].

KW - Hybrid System

KW - Linear Inequality

KW - Reachable State

KW - Hybrid Automaton

KW - Reachability Analysis

U2 - 10.1007/3-540-64358-3_35

DO - 10.1007/3-540-64358-3_35

M3 - Conference contribution

SN - 978-3-540-64358-6

T3 - Lecture Notes in Computer Science

SP - 110

EP - 125

BT - Hybrid Systems: Computation and Control

A2 - Henzinger, Thomas A.

A2 - Sastry, Shankar

PB - Springer

CY - Berlin

ER -

Fehnker A. Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. In Henzinger TA, Sastry S, editors, Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Berlin: Springer. 1998. p. 110-125. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-64358-3_35