Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems
- 1 January 2014
- journal article
- Published by Elsevier BV in IFAC Proceedings Volumes
- Vol. 47 (2), 86-92
- https://doi.org/10.3182/20140514-3-fr-4046.00140
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Supervisory Control for State-Vector Transition Models—A Unified ApproachIEEE Transactions on Automation Science and Engineering, 2013
- Symbolic Computation of Reduced Guards in Supervisory ControlIEEE Transactions on Automation Science and Engineering, 2011
- Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite AutomataIEEE Transactions on Automation Science and Engineering, 2011
- Extending chip in order to solve complex scheduling and placement problemsMathematical and Computer Modelling, 1993
- Predicates and predicate transformers for supervisory control of discrete event dynamical systemsIEEE Transactions on Automatic Control, 1993
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- Communicating sequential processesCommunications of the ACM, 1978
- On the Job-Shop Scheduling ProblemOperations Research, 1960