Sajed Miremadi

Showing 36 publications

2020

Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification

Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson
EPiC Series in Computing. Vol. 74, p. 259-266
Paper in proceeding
2020

Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems

Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi et al
EPiC Series in Computing. Vol. 74, p. 267-274
Paper in proceeding
2020

Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans

Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone et al
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 39 (12), p. 5247-5260
Journal article
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 proceeding
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
Paper in proceeding
2017

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

Johan Eddeland, Sajed Miremadi, Martin Fabian et al
IEEE International Conference on Automation Science and Engineering. Vol. 2017-August, p. 1326-1331
Paper in proceeding
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
2015

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

Zhennan Fei, Spyros Reveliotis, Sajed Miremadi et al
IEEE Transactions on Automation Science and Engineering. Vol. 12 (3), p. 990-1006
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

Supervisory control of manufacturing systems using extended finite automata

Martin Fabian, Zhennan Fei, Sajed Miremadi et al
Formal Methods in Manufacturing, p. 295-314
Book chapter
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

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 proceeding
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 proceeding
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 proceeding
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 proceeding
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
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 proceeding
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

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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.