Integrating discrete controller synthesis into a reactive programming language compiler
- 20 April 2013
- journal article
- research article
- Published by Springer Science and Business Media LLC in Discrete Event Dynamic Systems
- Vol. 23 (4), 385-418
- https://doi.org/10.1007/s10626-013-0163-5
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- Automatic generation of discrete handlers of real-time continuous control tasksIFAC Proceedings Volumes, 2011
- Programming with angelic nondeterminismPublished by Association for Computing Machinery (ACM) ,2010
- Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based ModelLecture Notes in Computer Science, 2010
- Concurrency control generation for dynamic threads using Discrete-Event SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Introduction to Discrete Event SystemsPublished by Springer Science and Business Media LLC ,2008
- A conservative extension of synchronous data-flow with state machinesPublished by Association for Computing Machinery (ACM) ,2005
- Efficient On-the-Fly Algorithms for the Analysis of Timed GamesLecture Notes in Computer Science, 2005
- Using Controller-Synthesis Techniques to Build Property-Enforcing LayersLecture Notes in Computer Science, 2003
- The synchronous languages 12 years laterProceedings of the IEEE, 2003
- Synchronous and Bidirectional Component InterfacesLecture Notes in Computer Science, 2002