`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:

### 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, 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.