Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S. Miremadi
Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems
A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata With Variables
Related publications
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata
IEEE Transactions on Automation Science and Engineering
Control
Systems Engineering
Electrical
Electronic Engineering
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Directed Control of Discrete Event Systems
Adaptive Implementation of Discrete Event Control Systems Based on Sequential Function Charts
Timed Discrete Event Control of a Parallel Production Line With Continuous Output
IFAC Proceedings Volumes
Supervisory Control of Concurrent Discrete-Event Systems
International Journal of Control
Control
Systems Engineering
Computer Science Applications
Command-Based Supervisory Control of Discrete Event Systems
Transactions of the Society of Instrument and Control Engineers
Masked Prioritized Synchronization for Interaction and Control of Discrete Event Systems
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Control of Discrete Event Systems Using Condition/Event Nets and Partial Languages
SICE Journal of Control, Measurement, and System Integration
