Sajed Miremadi

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 9

Top Venues

IEEE Trans. Control. Syst. Technol.

IEEE Trans Autom. Sci. Eng.

ARCH

CASE

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

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

Sajed Miremadi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sajed Miremadi