Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets

Ansgar  Fehnker

doi:10.1007/3-540-64358-3_35

Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets

Ansgar Fehnker

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Hybrid Systems: Computation and Control
Subtitle of host publication	First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings
Editors	Thomas A. Henzinger, Shankar Sastry
Place of Publication	Berlin
Publisher	Springer
Pages	110-125
Number of pages	16
ISBN (Electronic)	978-3-540-69754-1
ISBN (Print)	978-3-540-64358-6
DOIs	https://doi.org/10.1007/3-540-64358-3_35
Publication status	Published - 1998
Externally published	Yes
Event	1st International Workshop on Hybrid Systems: Computation and Control, HSCC 1998 - Berkeley, United States Duration: 13 Apr 1998 → 15 Apr 1998 Conference number: 1

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	1386
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Workshop on Hybrid Systems: Computation and Control, HSCC 1998
Abbreviated title	HSCC
Country/Territory	United States
City	Berkeley
Period	13/04/98 → 15/04/98

Keywords

Hybrid System
Linear Inequality
Reachable State
Hybrid Automaton
Reachability Analysis

Access to Document

10.1007/3-540-64358-3_35

https://doi.org/10.1007/3-540-64358-3_35

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). Springer. https://doi.org/10.1007/3-540-64358-3_35

@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",

address = "Germany",

note = "1st International Workshop on Hybrid Systems: Computation and Control, HSCC 1998, HSCC ; Conference date: 13-04-1998 Through 15-04-1998",

}

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, California, 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 proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Automotive Control Revisited

T2 - 1st International Workshop on Hybrid Systems: Computation and Control, HSCC 1998

AU - Fehnker, Ansgar

N1 - Conference code: 1

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

Y2 - 13 April 1998 through 15 April 1998

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). doi: 10.1007/3-540-64358-3_35

Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this