BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
1 × Korea
Collaborated with:
K.Åkesson B.Lennartson Z.Fei M.R.Shoaei Johan Eddeland M.Fabian K.Bengtsson C.Thorstensson C.Yuan P.Falkman
Talks about:
system (4) automata (3) finit (3) control (2) extend (2) model (2) supervisori (1) manufactur (1) sequenti (1) properti (1)

Person: Sajed Miremadi

DBLP DBLP: Miremadi:Sajed

Contributed to:

CASE 20122012
CASE 20112011
CASE 20102010
CASE 20172017

Wrote 6 papers:

CASE-2012-FeiMAL #approach #automaton #finite #scalability
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables (ZF, SM, , BL), pp. 502–507.
CASE-2011-FeiMA #automaton #finite #modelling #resource management #using
Modeling sequential resource allocation systems using Extended Finite Automata (ZF, SM, ), pp. 444–449.
CASE-2011-MiremadiLA #automaton #finite
BDD-based supervisory control on extended finite automata (SM, BL, ), pp. 25–31.
CASE-2010-BengtssonTLAYMF #automation #design #identification #sequence #visualisation
Relations identification and visualization for sequence planning and automation design (KB, CT, BL, , CY, SM, PF), pp. 841–848.
CASE-2010-ShoaeiLM #automation #flexibility #generative
Automatic generation of controllers for collision-free flexible manufacturing systems (MRS, BL, SM), pp. 368–373.
CASE-2017-EddelandMFA #cyber-physical #logic
Objective functions for falsification of signal temporal logic properties in cyber-physical systems (JE, SM, MF, ), pp. 1326–1331.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.