Modular Distribution and Application to Discrete Controller Synthesis
نویسندگان
چکیده
منابع مشابه
Modular Distribution and Application to Discrete Controller Synthesis
This paper shows the application of the automatic distribution of synchronous reactive programs to the specific problem of discrete controller synthesis of complex reactive systems. Discrete controller synthesis is a formal method used to ensure properties on a flexible system which does not a priori verify them. However, this method is efficient only on Boolean programs. More complex embedded ...
متن کاملApplying Discrete Controller Synthesis
We propose a simple programming language, called Nemo, specific to the domain of multitask real-time control systems, such as in robotic, automotive, or avionics systems. It can be used to specify a set of resources with usage constraints, a set of tasks that consume them according to various modes, and applications sequencing the tasks. We automatically obtain an applicationspecific task handl...
متن کاملDiscrete Controller Synthesis Based On Genetic Programming
In this paper, an alternative way of a discrete controller synthesis is introduced. The synthesis is based on a proposed genetic programming algorithm, which is named Block Diagram Oriented Genetic Programming BDOGP. The standard GP structure tree is modified in such a way to obtain a complete block diagram of the discrete controller that satisfies a deadbeat response in a closed-loop system. I...
متن کاملDiscrete Event Controller Synthesis of ManipulationHybrid Dynamic
This paper presents a method for discrete event controller (DEC) synthesis for a manipulation task modeled as a hybrid dynamic system (HDS). The modelling of a manipulation task as a HDS has been shown to be a very eeective strategy to incorporate the interaction of the robot manipulator with its environment. In addition, this modelling has allowed the derivation of realistic conditions on the ...
متن کاملconstruction and validation of translation metacognitive strategy questionnaire and its application to translation quality
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.01.003