Ditapis dengan
Recursive Modeling of Stateflow as Input/Output-Extended Automaton
Stateflow, a graphical interface tool for Matlab, is a common choice for design of event-driven software and systems. In order for their offline analysis (testing/verification) or online analysis (monitoring), the Stateflow model must be converted to a form that is amenable to formal analysis. In this paper, we present a systematic method, which translates Stateflow into a formal model, called …
- Edisi
- VOL. 11, NO. 4, OCTOBER 2014
- ISBN/ISSN
- 1545-5955
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 11, NO. 4, OCTOBER 2014
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems
Two types of diagnosability of stochastic discrete-event systems (DESs) were introduced by Thorsley et al. in 2005, where a necessary and sufficient condition for Strong Stochastic (SS)-Diagnosability (referred as A-diagnosability by Thorsley and Teneketzis, 2005), and a sufficient condition for Stochastic (S)-Diagnosability (referred as AA-diagnosability by Thorsley and Teneketzis, 2005), bot…
- Edisi
- VOL. 10, NO. 4
- ISBN/ISSN
- -
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 10, NO. 4, OCTOBER 2013
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
Computation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages
FlexRay is a communication bus (and associated protocol) that supports transmission of time-triggered and event-triggered frames. A method for determining the worst-case responsetime of FlexRay frames is proposed by Pop et al. in 2008, and is formulated as iterative sequence of Integer Linear Programming (ILP) problems. As we show, the method of Pop et al. is conservative (overestimates the re…
- Edisi
- VOL. 11, NO. 2
- ISBN/ISSN
- -
- Deskripsi Fisik
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. 11, NO. 2, APRIL 2014
- Judul Seri
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah