H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic System : Theory and Applications, 10(4):347--368, October 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....systems. One of the oldest discrete time frameworks is the one of supervisory control of discrete event systems [22] A number of tools have been produced by the DES community, such as CTCT [30] TTCT [10, 21] UMDES [27] STCT [31] Another discrete time framework is the one of the tool Sigali [20] which is based on the synchronous language Signal and can perform controller synthesis for various objectives including safety, reachability and various combinations of the two. Our main contribution with respect to the above works is the tool FlySynth which performs synthesis on the fly. ....

H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic System: Theory and Applications, 2000.

....they are eOEciently implemented by TDD (Ternary Decision Diagram) which are BDD (Binary Decision Diagram [51] whose edges are labeled by 0, 1 but also 1. Sigali provides analyses of the trajectories of systems: symbolic model checking (e.g. safety, liveness properties) and controller synthesis [41, 40]. 3.2.2 Non boolean Values Handling The analysis [11] not integrated to Polychrony) considers symbolic transition systems that contain linear relations between values of the non boolean variables of a specication. In practice it uses a polyhedral encoding inspired from [30] and extended to ....

H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic System: Theory and Applications, 10(4):325346, October 2000.

....presentations, out of the scope of our work, are available elsewhere [14] as well as comparative studies [13] Model: labeled transition systems. The basic models are discrete event systems, and can be formulated in terms of formal languages [14] Petri nets [2, 8] dynamical equations systems [10] or finite state machines (possibly hybrid [9] The latter cases take us close to the models that are at the basis of synchronous techniques. The transitions between states are labelled, typically with events: in reactive systems, the transitions can be taken upon the occurrence of these events. ....

....explained before, we are particularly interested in results related to the synchronous approach; in this area, a particularly mature tool is Sigali, integrated in the Signal environment 1 . It forms a complete toolset for undertaking experiments, as it provides for the quite rare combination of [10] specification (in the Signal language) computation (in the Sigali model checker, featuring optimal synthesis) and generic execution and simulation (using Signal s compilation and code generation) Execution schemes The result of synthesis is the maximally permissive controller which, when ....

[Article contains additional citation context not shown here]

H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. Synthesis of Discrete-Event Controllers based on the Signal Environment. Discrete Event Dynamical System: Theory and Applications, vol. 10, 2000.

No context found.

H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic System : Theory and Applications, 10(4):347--368, October 2000.

No context found.

H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic System : Theory and Applications, 10(4):347--368, October 2000.

No context found.

MARCHAND, H., BOURNAI, P., LE BORGNE, M., LE GUERNIC, P. Synthesis of Discrete-Event Controllers based on the Signal Environment. In Discrete Event Dynamic System: Theory and Applications, v. 10(4), pp. 325--346, 2000.

No context found.

Marchand, H., Bournai, P., Le Borgne, M., Le Guernic, P. Synthesis of Discrete-Event Controllers based on the Signal Environment. In Discrete Event Dynamic System: Theory and Applications, v. 10(4), pp. 325-346, 2000.

....the transitions are declared to be controllable. Synthesis consists of the automated computation of constraints on controllable events, such that the transition system is limited to behaviors which are correct with respect to some conditions (properties on the dynamical behaviors, objectives) [9, 7]. Optimal discrete control synthesis [8] allows for the taking into account of weights associated with states or events, and involving maximizing or minimizing functions over them when determining control constraints. Tool support is available in the SIGNAL SIGALI environment [7] providing for ....

....objectives) 9, 7] Optimal discrete control synthesis [8] allows for the taking into account of weights associated with states or events, and involving maximizing or minimizing functions over them when determining control constraints. Tool support is available in the SIGNAL SIGALI environment [7], providing for specification, formal computation (synthesis) and execution simulation of the controlled system. Our approach. In this context, we outline a technique using optimal discrete control synthesis, based on a model of multi mode tasks, for the automated obtention of such controllers; ....

[Article contains additional citation context not shown here]

H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. Synthesis of discrete-event controllers based on the Signal environment. Discrete Event Dynamical System: Theory and Applications, 10(4):325--346, October 2000.

....results on the subject, of which we make no exhaustive study, but we give references to approaches also other than the one we will adopt. The basic models are discrete event systems, and can be formulated in terms of formal languages [59] Petri nets [2, 32, 33] dynamical equations systems [47] or nite state machines (possibly hybrid [41, 7] The latter cases take us close to the models that are at the basis of synchronous techniques. The transitions between states are labelled, typically with events: in reactive systems, the transitions can be taken upon the occurrence of these ....

.... dynamical systems (DEDS) 25] including among others, language based speci cation [59, 18] Petri nets [2, 32] real time temporal logics, net condition event systems, exotic algebras, e.g. max, which also have seen application to robotics programming [8] dynamical equational systems [47], nite transition systems [59] There exist comparative studies between them, some illustrated by examples [58] The two latter are of equivalent expressiveness, related to languages theory, and have extensions such as temporized and hybrid systems. The basic notions, illustrated above in ....

[Article contains additional citation context not shown here]

H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. Synthesis of discrete-event controllers based on the Signal environment. Discrete Event Dynamical System: Theory and Applications, 10(4):325-346, October 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC