University of Illinois Urbana-Champaign

Translation of Simulink-Stateflow models to hybrid automata

Manamcheri Sukumar, Karthikeyan

Content Files
ManamcheriSukumar_Karthikeyan.pdf

Permalink

https://hdl.handle.net/2142/26197

Description

Title
Translation of Simulink-Stateflow models to hybrid automata
Author(s)
Manamcheri Sukumar, Karthikeyan
Issue Date
2011-08-25T22:18:21Z
Director of Research (if dissertation) or Advisor (if thesis)
Mitra, Sayan
Department of Study
Electrical & Computer Eng
Discipline
Electrical & Computer Engr
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
M.S.
Degree Level
Thesis
Date of Ingest
2011-08-25T22:18:21Z
Keyword(s)
  • Translation of Simulink Stateflow
  • Hybrid Automata
  • Simulink Stateflow models
  • Verification of Simulink Stateflow
  • Semantics of Simulink Stateflow
Abstract
Formal analysis of Simulink/Stateflow (SLSF) diagrams requires association of semantics to these diagrams. In this thesis, we present a technique and the related tool called HyLink for translating a useful subclass of SLSF diagrams to hybrid automata. In the absence of official semantics, there are two possible interpretations of these diagrams: one is based on the ideal mathematical interpretation obtained from the syntax of the building blocks and the other is based on the simulation traces generated by the simulation engine. These two interpretations lead to two different kinds of hybrid automata---the former gives an automaton with state-dependent transitions and the latter gives a time-triggered automaton. We show that under certain assumptions, the semantics of the latter converge to the former as the simulation step size decreases. We illustrate HyLink's translation scheme, the assumptions, and the convergence result through several case studies.
Graduation Semester
2011-08
Permalink
http://hdl.handle.net/2142/26197
Copyright and License Information
Copyright 2011 Karthikeyan Manamcheri Sukumar

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Electrical and Computer Engineering
Dissertations and Theses in Electrical and Computer Engineering