2008 15th IEEE International Conference on Electronics, Circuits and Systems 2008
DOI: 10.1109/icecs.2008.4675002
|View full text |Cite
|
Sign up to set email alerts
|

Verification of a MEMS based adaptive cruise control system using simulation and semi-formal approaches

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2014
2014
2023
2023

Publication Types

Select...
3
1

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 11 publications
0
1
0
Order By: Relevance
“…MATLAB/Simulink is a powerful tool developed by MathWorks, which is widely used in research and engineering field of ACC. For example, Jairam et al 131,132 built simulation environment of ACC system in the environment of Simulink/Stateflow. Four different working modes (acceleration, deceleration, cruise, stop) and rules of transition are modeled in Stateflow, while real-time inter-vehicle dynamics is modeled in Simulink.…”
Section: Simulationmentioning
confidence: 99%
“…MATLAB/Simulink is a powerful tool developed by MathWorks, which is widely used in research and engineering field of ACC. For example, Jairam et al 131,132 built simulation environment of ACC system in the environment of Simulink/Stateflow. Four different working modes (acceleration, deceleration, cruise, stop) and rules of transition are modeled in Stateflow, while real-time inter-vehicle dynamics is modeled in Simulink.…”
Section: Simulationmentioning
confidence: 99%