Sajed Miremadi
Visar 36 publikationer
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems
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 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
Symbolic Reduction of Guards in Supervisory Control Using Genetic Algorithms
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
Modeling sequential resource allocation systems using Extended Finite Automata
Symbolic Computation of Reduced Guards in Supervisory Control
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
Solving Two Supervisory Control Benchmark Problems Using Supremica
Extraction and Representation of a Supervisor Using Guards in Extended Finite Automata
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.