A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis
read more
Citations
Contracts for modular discrete controller synthesis
Automating the addition of fault tolerance with discrete controller synthesis
Synchronous and bidirectional component interfaces
Feedback Control as MAPE-K loop in Autonomic Computing
Reactive model-based control of reconfiguration in the fractal component-based model
References
Supervisory control of a class of discrete event processes
Synchronous programming of reactive systems
The synchronous languages 12 years later
Giotto: A Time-Triggered Language for Embedded Programming
Related Papers (5)
Frequently Asked Questions (10)
Q2. What is the purpose of the discrete controller synthesis?
The aim of the discrete controller synthesis is, from an automaton A, to compute a controller C such that A‖C satisfies a property P, called synthesis objective, not satisfied a priori by A.
Q3. What is the definition of discrete controller synthesis?
Discrete controller synthesis [19] can be defined in the framework of formal languages, or finite state automata or transition systems.
Q4. What are the constraints that are implicit in the Nemo language?
These resources involve constraints which are implicit properties such as:(i) exclusivity, (ii) bounds on the number of users,(iii) bounds on the available capacity, (iv) the need to be always under control.
Q5. How many elements of a resource are used in a task?
This task, named go forward, uses a resource named wheels, 50 elements of a resource named cpu, and always 20 elements of the resource memory.
Q6. What is the purpose of the application of discrete controller synthesis?
The application of discrete controller synthesis defines a sequence of tasks by constructing a global controller that interacts with the tasks’ local controllers by mean of controllable points.
Q7. What is the definition of a non-strict beginning?
A “non-strict” beginning means that the request can be:(i) delayable: the task controller will memorize it, as in Figure 4(b), and actually launches the task on the occurrence of a controllable signal ok;(ii) rejectable: the task can only begin in the presence of a request.
Q8. What is the definition of a “triggerable” beginning?
A “triggerable” beginning means that the computation can be launched by the task controller, by mean of the controllable signal ok, without request from the environment, as in Figure 4(d).
Q9. What is the definition of invisible formal methods?
A general notion of invisible formal methods advocates for fully automated techniques, integrated into a design process and tools.
Q10. What other constraints could be required for the calc1 task?
Some other constraints could be required, for reasons not directly re-lated to any declared resource, but having to do with some knowledge about the environment, for example, the possible incompatibility between some activities for reasons not modelled here (waiting for a temperature to cool down, rinsing brushes between painting in two different colours, etc.).