Relations identification and visualization for sequence planning and automation design. - Kristofer Bengtsson; Carl Thorstensson; Bengt Lennartson; Knut Åkesson; Chengyin Yuan; Sajed Miremadi; Petter Falkman (CASE, 2010)

Automatic generation of controllers for collision-free flexible manufacturing systems. - Mohammad Reza Shoaei; Bengt Lennartson; Sajed Miremadi (CASE, 2010)

Supervisor computation and representation: A case study. - Sajed Miremadi; Knut Åkesson; Bengt Lennartson; Martin Fabian (WODES, 2010)

Modeling sequential resource allocation systems using Extended Finite Automata. - Zhennan Fei; Sajed Miremadi; Knut Åkesson (CASE, 2011)

BDD-based supervisory control on extended finite automata. - Sajed Miremadi; Bengt Lennartson; Knut Åkesson (CASE, 2011)

Reduced-order synthesis of operation sequences. - Mohammad Reza Shoaei; Sajed Miremadi; Kristofer Bengtsson; Bengt Lennartson (ETFA, 2011)

Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (ICAART (1), 2011)

Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (ICAART (Revised Selected Papers), 2011)

Symbolic Computation of Reduced Guards in Supervisory Control. - Sajed Miremadi; Knut Åkesson; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2011)

A symbolic approach to large-scale discrete event systems modeled as finite automata with variables. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (CASE, 2012)

Symbolic computation of nonblocking control function for timed discrete event systems. - Sajed Miremadi; Zhennan Fei; Knut Åkesson; Bengt Lennartson (CDC, 2012)

State-vector transition model applied to supervisory control. - Bengt Lennartson; Sajed Miremadi; Zhennan Fei; Mona Noori Hosseini; Martin Fabian; Knut Åkesson (ETFA, 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)

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)

Symbolic Supervisory Control of Timed Discrete Event Systems. - Sajed Miremadi (2012)

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)

Symbolic Representation and Computation of Timed Discrete-Event Systems. - Sajed Miremadi; Zhennan Fei; Knut Åkesson; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2014)

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (IEEE Trans. Control. Syst. Technol., 2014)

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)

Symbolic Supervisory Control of Timed Discrete Event Systems. - Sajed Miremadi; Zhennan Fei; Knut Åkesson; Bengt Lennartson (IEEE Trans. Control. Syst. Technol., 2015)

Symbolic On-the-Fly Synthesis in Supervisory Control Theory. - Sajed Miremadi; Bengt Lennartson (IEEE Trans. Control. Syst. Technol., 2016)

Objective functions for falsification of signal temporal logic properties in cyber-physical systems. - Johan Lidén Eddeland; Sajed Miremadi; Martin Fabian; Knut Åkesson (CASE, 2017)

Applying Valued Booleans in Testing of Cyber-Physical Systems. - Koen Claessen; Nicholas Smallbone; Johan Lidén Eddeland; Zahra Ramezani; Knut Åkesson; Sajed Miremadi (MT@CPSWeek, 2018)

Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. - Johan Lidén Eddeland; Alexandre Donzé; Sajed Miremadi; Knut Åkesson (ARCH, 2020)

Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. - Johan Lidén Eddeland; Sajed Miremadi; Knut Åkesson (ARCH, 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)