Sajed Miremadi

Showing 31 publications

2018

Applying valued booleans in testing of cyber-physical systems

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018, p. 8-9
Paper in proceedings
2017

Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata

Johan Eddeland, Javier Gil Cepeda, Rick Fransen et al
IFAC-PapersOnLine. Vol. 50 (1), p. 9260-9265
Journal article
2017

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

Johan Eddeland, Sajed Miremadi, Martin Fabian et al
2017 13th IEEE Conference on Automation Science and Engineering (CASE), p. 1326-1331
Paper in proceedings
2016

Symbolic On-the-Fly Synthesis in Supervisory Control Theory

Sajed Miremadi, Bengt Lennartson
IEEE Transactions on Control Systems Technology. Vol. 24 (5), p. 1705-1716
Journal article
2015

Symbolic Supervisory Control of Timed Discrete Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
IEEE Transactions on Control Systems Technology. Vol. 23 (2), p. 584-597
Journal article
2014

Symbolic Representation and Computation of Timed Discrete-Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 6-19
Journal article
2014

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

Bengt Lennartson, Francesco Basile, Sajed Miremadi et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 33-47
Journal article
2014

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
IEEE Transactions on Control Systems Technology. Vol. 22 (6), p. 2368-2375
Journal article
2013

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

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
Communications in Computer and Information Science. Vol. 271, p. 161-175
Paper in proceedings
2012

Sequence Planning Using Multiple and Coordinated Sequences of Operations

Kristofer Bengtsson, Patrik Bergagård, Carl Thorstensson et al
IEEE Transactions on Automation Science and Engineering. Vol. 9 (2), p. 308-319
Journal article
2012

State-Vector Transition Model Applied to Supervisory Control

Bengt Lennartson, Sajed Miremadi, Zhennan Fei et al
17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA)
Paper in proceedings
2012

Symbolic representation and computation of timed discrete event systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
Report
2012

Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
Proceedings of the IEEE Conference on Decision and Control, p. 7352-7359
Paper in proceedings
2012

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

Sajed Miremadi, Knut Åkesson, Bengt Lennartson
IEEE Transactions on Control Systems Technology. Vol. 20 (6), p. 1421-1435
Journal article
2012

A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata with Variables

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
2012 IEEE Conference on Automation Science and Engineering (CASE), p. 502 - 507
Paper in proceedings
2011

Modeling sequential resource allocation systems using Extended Finite Automata

Zhennan Fei, Sajed Miremadi, Knut Åkesson
IEEE International Conference on Automation Science and Engineering, p. 444 - 449
Paper in proceedings
2011

Reduced-order synthesis of operation sequences

Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson et al
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, p. 8-
Paper in proceedings
2011

Symbolic Computation of Reduced Guards in Supervisory Control

Sajed Miremadi, Knut Åkesson, Bengt Lennartson
IEEE Transactions on Automation Science and Engineering. Vol. 8 (4), p. 754-765
Journal article
2011

BDD-based supervisory control on extended finite automata

Sajed Miremadi, Bengt Lennartson, Knut Åkesson
IEEE International Conference on Automation Science and Engineering, p. 25-31
Paper in proceedings
2011

Efficient Symbolic Supervisory Synthesis and Guard Generation: Evaluating partitioning techniques for the state-space exploration

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. Vol. 1, p. 106-115
Paper in proceedings
2010

A Seamless Framework for Control Function Generation

Sajed Miremadi
Licentiate thesis
2010

Supervisor Computation and Representation: A Case Study

Sajed Miremadi, Knut Åkesson, Bengt Lennartson et al
10th International Workshop on Discrete Event Systems, Berlin; 30 August 2010 through 1 September 2010. Vol. 10 (1), p. 275-280
Paper in proceedings
2010

Relations Identification and Visualization for Sequence Planning and Automation Design

Kristofer Bengtsson, Carl Thorstensson, Bengt Lennartson et al
In Proc. IEEE Conference on Automation Science and Engineering, Toronto, p. 841 - 848
Paper in proceedings
2010

Automatic Generation of Controllers for Collision-Free Flexible Manufacturing Systems

Mohammad Reza Shoaei, Bengt Lennartson, Sajed Miremadi
6th annual IEEE International Conference on Automation Science and Engineering, p. 368-373
Paper in proceedings
2008

Solving Two Supervisory Control Benchmark Problems Using Supremica

Sajed Miremadi, Knut Åkesson, Martin Fabian et al
9th International Workshop on Discrete Event Systems, 2008, p. 131-136
Paper in proceedings
2008

Extraction and Representation of a Supervisor Using Guards in Extended Finite Automata

Sajed Miremadi, Knut Åkesson, Bengt Lennartson
9th International Workshop on Discrete Event Systems, 2008, p. 193-199
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Sajed Miremadi participates, but you have to be logged in as a Chalmers employee to see them.