Discrete Controller Synthesis for Infinite State Systems with ReaX
- 1 January 2014
- journal article
- Published by Elsevier BV in IFAC Proceedings Volumes
- Vol. 47 (2), 46-53
- https://doi.org/10.3182/20140514-3-fr-4046.00099
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Integrating discrete controller synthesis into a reactive programming language compilerDiscrete Event Dynamic Systems, 2013
- Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract InterpretationDiscrete Event Dynamic Systems, 2011
- On Computation of State Avoidance Control for Infinite State Systems in Assignment Program FrameworkIEEE Transactions on Automation Science and Engineering, 2005
- The synchronous languages 12 years laterProceedings of the IEEE, 2003
- Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive SystemsFormal Methods in System Design, 2003
- Synthesis of Discrete-Event Controllers Based on the Signal EnvironmentDiscrete Event Dynamic Systems, 2000
- A Survey of Petri Net Methods for Controlled Discrete Event SystemsDiscrete Event Dynamic Systems, 1997
- Verification of Real-Time Systems using Linear Relation AnalysisFormal Methods in System Design, 1997
- Control of vector discrete-event systems. II. Controller synthesisIEEE Transactions on Automatic Control, 1994
- Predicates and predicate transformers for supervisory control of discrete event dynamical systemsIEEE Transactions on Automatic Control, 1993