Files in this item



application/pdfManamcheriSukumar_Karthikeyan.pdf (1MB)
(no description provided)PDF


Title:Translation of Simulink-Stateflow models to hybrid automata
Author(s):Manamcheri Sukumar, Karthikeyan
Advisor(s):Mitra, Sayan
Department / Program:Electrical & Computer Eng
Discipline:Electrical & Computer Engr
Degree Granting Institution:University of Illinois at Urbana-Champaign
Subject(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.
Issue Date:2011-08-25
Rights Information:Copyright 2011 Karthikeyan Manamcheri Sukumar
Date Available in IDEALS:2011-08-25
Date Deposited:2011-08

This item appears in the following Collection(s)

Item Statistics