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: Miremadi:Sajed
Contributed to:
2012201120102017Wrote 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, KÅ, BL), pp. 502–507.
- CASE-2011-FeiMA #automaton #finite #modelling #resource management #using
- Modeling sequential resource allocation systems using Extended Finite Automata (ZF, SM, KÅ), pp. 444–449.
- CASE-2011-MiremadiLA #automaton #finite
- BDD-based supervisory control on extended finite automata (SM, BL, KÅ), pp. 25–31.
- CASE-2010-BengtssonTLAYMF #automation #design #identification #sequence #visualisation
- Relations identification and visualization for sequence planning and automation design (KB, CT, BL, KÅ, 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, KÅ), pp. 1326–1331.