ScholarLens Back to search
2008•Unpublished venueRequires access

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

S. Jairam, Kusum Lata, Subir Kumar Roy, Navakanta Bhat

Open publisher page 7 citations

Abstract

In this paper we present a verification approach for a MEMS based hybrid system. The hybrid system is an adaptive cruise controller (ACC) involving a MEMS based gyroscope for speed measurement, for the motion control of a platoon of cars. A transformation based approach to obtain a continuous time solution of the states of the hybrid system is presented. This is then integrated into the Simulink/Stateflow (SS) tool framework from MathWorks Inc., where the validation of the ACC is carried out using simulation on the differential equation based and analytical function based continuous time domain dynamic behavior. We also show how this approach and the framework is amenable to verification using formal and semi-formal approaches.

About this research paper

What this paper is about

In this paper we present a verification approach for a MEMS based hybrid system. The hybrid system is an adaptive cruise controller (ACC) involving a MEMS based gyroscope for speed measurement, for the motion control of a platoon of cars. A transformation based approach to obtain a continuous time solution of the states of the hybrid system is presented. This is then integrated into the Simulink/Stateflow (SS) tool framework from MathWorks Inc., where the validation of the ACC is carried out using simulation on the differential equation based and analytical function based continuous time domain dynamic behavior. We also show how this approach and the framework is amenable to verification using formal and semi-formal approaches.

Why it matters

OpenAlex reports 7 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

In this paper we present a verification approach for a MEMS based hybrid system. The hybrid system is an adaptive cruise controller (ACC) involving a MEMS based gyroscope for speed measurement, for the motion control of a platoon of cars. A transformation based approach to obtain a continuous time solution of the states of the hybrid system is presented. This is then integrated into the Simulink/Stateflow (SS) tool framework from MathWorks Inc., where the validation of the ACC is carried out using simulation on the differential equation based and analytical function based continuous time domain dynamic behavior. We also show how this approach and the framework is amenable to verification using formal and semi-formal approaches.

Key concepts: Stateflow, Cruise control, Computer science, Platoon, Formal verification, Hybrid system, Control engineering, Controller (irrigation)

Related papers

Related paper 1Related paper 2
Back to paper searchBrowse research topicsOriginal source
Verification of a MEMS based adaptive cruise control system using simulation and semi-formal approaches — Research Paper | ScholarLens