Sajed Miremadi

According to our database, Sajed Miremadi authored at least 26 papers between 2010 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans.

Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification.

Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems.

Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2018

Applying Valued Booleans in Testing of Cyber-Physical Systems.

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017

Objective functions for falsification of signal temporal logic properties in cyber-physical systems.

Johan Lidén Eddeland, Sajed Miremadi, Martin Fabian, Knut Åkesson

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Symbolic On-the-Fly Synthesis in Supervisory Control Theory.

Sajed Miremadi, Bengt Lennartson

IEEE Trans. Control. Syst. Technol., 2016

2015

Symbolic Supervisory Control of Timed Discrete Event Systems.

Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson

IEEE Trans. Control. Syst. Technol., 2015

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.

Zhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson

IEEE Trans Autom. Sci. Eng., 2015

2014

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

IEEE Trans. Control. Syst. Technol., 2014

Symbolic Representation and Computation of Timed Discrete-Event Systems.

Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson

IEEE Trans Autom. Sci. Eng., 2014

Supervisory Control for State-Vector Transition Models - A Unified Approach.

Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson

IEEE Trans Autom. Sci. Eng., 2014

2012

Symbolic Supervisory Control of Timed Discrete Event Systems.

Sajed Miremadi

PhD thesis, 2012

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata.

Sajed Miremadi, Bengt Lennartson, Knut Åkesson

IEEE Trans. Control. Syst. Technol., 2012

Sequence Planning Using Multiple and Coordinated Sequences of Operations.

Kristofer Bengtsson, Patrik Bergagard, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman

IEEE Trans Autom. Sci. Eng., 2012

State-vector transition model applied to supervisory control.

Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Symbolic computation of nonblocking control function for timed discrete event systems.

Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Symbolic Computation of Reduced Guards in Supervisory Control.

Sajed Miremadi, Knut Åkesson, Bengt Lennartson

IEEE Trans Autom. Sci. Eng., 2011

Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory.

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Reduced-order synthesis of operation sequences.

Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson, Bengt Lennartson

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

BDD-based supervisory control on extended finite automata.

Sajed Miremadi, Bengt Lennartson, Knut Åkesson

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Modeling sequential resource allocation systems using Extended Finite Automata.

Zhennan Fei, Sajed Miremadi, Knut Åkesson

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Supervisor computation and representation: A case study.

Sajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Automatic generation of controllers for collision-free flexible manufacturing systems.

Mohammad Reza Shoaei, Bengt Lennartson, Sajed Miremadi

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Relations identification and visualization for sequence planning and automation design.

Kristofer Bengtsson, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010