Sajed Miremadi

27 papers C 2Journal 11Unranked 13
YearRankTypeTitle / Venue / Authors
2020 J jnl
Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
2020 — conf
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification.
ARCH
Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson
2020 — conf
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems.
ARCH
Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson
2019 J jnl
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans.
CoRR
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
2018 — conf
Applying Valued Booleans in Testing of Cyber-Physical Systems.
MT@CPSWeek
Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi
2017 — conf
Objective functions for falsification of signal temporal logic properties in cyber-physical systems.
CASE
Johan Lidén Eddeland, Sajed Miremadi, Martin Fabian, Knut Åkesson
2016 J jnl
Symbolic On-the-Fly Synthesis in Supervisory Control Theory.
IEEE Trans. Control. Syst. Technol.
Sajed Miremadi, Bengt Lennartson
2015 J jnl
A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.
IEEE Trans Autom. Sci. Eng.
Zhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson
2015 J jnl
Symbolic Supervisory Control of Timed Discrete Event Systems.
IEEE Trans. Control. Syst. Technol.
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
2014 J jnl
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.
IEEE Trans. Control. Syst. Technol.
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2014 J jnl
Supervisory Control for State-Vector Transition Models - A Unified Approach.
IEEE Trans Autom. Sci. Eng.
Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
2014 J jnl
Symbolic Representation and Computation of Timed Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
2012 J jnl
A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata.
IEEE Trans. Control. Syst. Technol.
Sajed Miremadi, Bengt Lennartson, Knut Åkesson
2012 — conf
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.
CASE
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2012 J jnl
Sequence Planning Using Multiple and Coordinated Sequences of Operations.
IEEE Trans Autom. Sci. Eng.
Kristofer Bengtsson, Patrik Bergagard, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman
2012 C conf
State-vector transition model applied to supervisory control.
ETFA
Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
2012 — —
Symbolic Supervisory Control of Timed Discrete Event Systems.
Sajed Miremadi
2012 — conf
Symbolic computation of nonblocking control function for timed discrete event systems.
CDC
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
2011 — conf
BDD-based supervisory control on extended finite automata.
CASE
Sajed Miremadi, Bengt Lennartson, Knut Åkesson
2011 — conf
Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.
ICAART (1)
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2011 — conf
Modeling sequential resource allocation systems using Extended Finite Automata.
CASE
Zhennan Fei, Sajed Miremadi, Knut Åkesson
2011 C conf
Reduced-order synthesis of operation sequences.
ETFA
Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson, Bengt Lennartson
2011 J jnl
Symbolic Computation of Reduced Guards in Supervisory Control.
IEEE Trans Autom. Sci. Eng.
Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2011 — conf
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory.
ICAART (Revised Selected Papers)
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2010 — conf
Automatic generation of controllers for collision-free flexible manufacturing systems.
CASE
Mohammad Reza Shoaei, Bengt Lennartson, Sajed Miremadi
2010 — conf
Relations identification and visualization for sequence planning and automation design.
CASE
Kristofer Bengtsson, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman
2010 — conf
Supervisor computation and representation: A case study.
WODES
Sajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian