Sajed Miremadi
Showing 36 publications
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Applying valued booleans in testing of cyber-physical systems
Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata
Objective functions for falsification of signal temporal logic properties in cyber-physical systems
Symbolic On-the-Fly Synthesis in Supervisory Control Theory
Symbolic Supervisory Control of Timed Discrete Event Systems
Supervisory Control for State-Vector Transition Models—A Unified Approach
Supervisory control of manufacturing systems using extended finite automata
Symbolic Representation and Computation of Timed Discrete-Event Systems
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory
Symbolic Reduction of Guards in Supervisory Control Using Genetic Algorithms
Symbolic representation and computation of timed discrete event systems
Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems
Sequence Planning Using Multiple and Coordinated Sequences of Operations
State-Vector Transition Model Applied to Supervisory Control
A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata with Variables
A BDD-based Approach for Modeling Plant and Supervisor by Extended Finite Automata
BDD-based supervisory control on extended finite automata
Symbolic Computation of Reduced Guards in Supervisory Control
Modeling sequential resource allocation systems using Extended Finite Automata
Reduced-order synthesis of operation sequences
Relations Identification and Visualization for Sequence Planning and Automation Design
Supervisor Computation and Representation: A Case Study
Automatic Generation of Controllers for Collision-Free Flexible Manufacturing Systems
Extraction and Representation of a Supervisor Using Guards in Extended Finite Automata
Solving Two Supervisory Control Benchmark Problems Using Supremica
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.