Verification of an automotive active leveler

Publisher Website

1 January 1999

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/acc.1999.786493

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Algorithmic analysis of nonlinear hybrid systems
IEEE Transactions on Automatic Control, 1998
Automotive control revisited linear inequalities as approximation of reachable sets
Published by Springer Nature ,1998
A unified framework for hybrid control: model and optimal control theory
IEEE Transactions on Automatic Control, 1998
Using HyTech to verify an automotive control System
Published by Springer Nature ,1997
Hybrid Systems III
Published by Springer Nature ,1996