Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for subject:(Simulink Stateflow models). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Illinois – Urbana-Champaign

1. Manamcheri Sukumar, Karthikeyan. Translation of Simulink-Stateflow models to hybrid automata.

Degree: MS, 1200, 2011, University of Illinois – Urbana-Champaign

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. Advisors/Committee Members: Mitra, Sayan (advisor).

Subjects/Keywords: Translation of Simulink Stateflow; Hybrid Automata; Simulink Stateflow models; Verification of Simulink Stateflow; Semantics of Simulink Stateflow

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Manamcheri Sukumar, K. (2011). Translation of Simulink-Stateflow models to hybrid automata. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/26197

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Manamcheri Sukumar, Karthikeyan. “Translation of Simulink-Stateflow models to hybrid automata.” 2011. Thesis, University of Illinois – Urbana-Champaign. Accessed November 14, 2019. http://hdl.handle.net/2142/26197.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Manamcheri Sukumar, Karthikeyan. “Translation of Simulink-Stateflow models to hybrid automata.” 2011. Web. 14 Nov 2019.

Vancouver:

Manamcheri Sukumar K. Translation of Simulink-Stateflow models to hybrid automata. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2011. [cited 2019 Nov 14]. Available from: http://hdl.handle.net/2142/26197.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Manamcheri Sukumar K. Translation of Simulink-Stateflow models to hybrid automata. [Thesis]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/26197

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.