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 proceeding contribution › 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, Springer Nature
Pages	110-125
Number of pages	16
ISBN (Print)	9783540643586
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

Publication series

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

Conference

Conference	1st International Workshop on Hybrid Systems: Computation and Control, HSCC 1998
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

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, Springer Nature. 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, Springer Nature, 1998. pp. 110-125 (Lecture Notes in Computer Science).

@inproceedings{7ecb8b23dc614a4181aa3ddb0244e652,

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 = "9783540643586",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Springer Nature",

pages = "110--125",

editor = "Henzinger, \{Thomas A.\} and Shankar Sastry",

booktitle = "Hybrid Systems: Computation and Control",

address = "United States",

note = "1st International Workshop on Hybrid Systems: Computation and Control, HSCC 1998 ; 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, Springer Nature, 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, Springer Nature, 1998. p. 110-125 (Lecture Notes in Computer Science; Vol. 1386).

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

TY - GEN

T1 - Automotive control revisited

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

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

UR - https://www.scopus.com/pages/publications/84957877343

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

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

M3 - Conference proceeding contribution

SN - 9783540643586

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, Springer Nature

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, Springer Nature. 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

Other files and links

Fingerprint

Cite this