A language approach to discrete control in computing

Authors:
Eric Rutten
Affiliations:
INRIA Grenoble Rhône-Alpes, France
Venue:
Proceedings of the Fifth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks
Year:
2010

Citing 5
Cited 0

Synthesis of Discrete-Event Controllers Based on the SignalEnvironment

Discrete Event Dynamic Systems
The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems

Software—Practice & Experience
Discrete control for safe execution of IT automation workflows

Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems

ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems
Contracts for modular discrete controller synthesis

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We summarize an approach to the discrete closed-loop control of adaptive and reconfigurable computing systems. We encapsulate discrete controller synthesis in a reactive programming language, in a model-based aproach.