Algebraic synthesis of logical controllers despite inconsistencies in specifications

Roussel, Jean-Marc; Lesage, Jean-Jacques

doi:10.3182/20121003-3-mx-4033.00050

Cited by 4 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thanks to theorems presented above, it is possible to obtain a parametric representation of all the solutions of any set of simultaneously asserted relations with unknowns, if a solution exists. In practice, due to the complexity of systems to be designed, proposed set of simultaneously asserted relations is generally inconsistent [23]. To simplify the work of the designer, we have proved complementary theorems to improve the robustness of our method to the lack of precision of the specifications (Section 4.4).…”

Section: Partial Conclusionmentioning

confidence: 99%

Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations

Roussel

Lesage

2014

Mathematical Problems in Engineering

Self Cite

View full text Add to dashboard Cite

Formal methods can strongly contribute to improve dependability of controllers during design, by providing means to avoid flaws due to designers' omissions or specifications misinterpretations. This paper presents a synthesis method dedicated to logic controllers. Its goal is to obtain the control laws from specifications given in natural language by symbolic computation. The formal framework that underlies this method is the Boolean algebra ofn-variable switching functions. In this algebra, thanks to relations and theorems presented in this paper, it is possible to formally express logical controllers specifications, to automatically detect inconsistencies in specifications, and to obtain automatically the set of solutions or to choose an optimal solution according to given optimization criteria. The application of this synthesis method to an example allows illustrating its main advantages.

show abstract

Section: Partial Conclusionmentioning

confidence: 99%

Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations

Roussel

Lesage

2014

Mathematical Problems in Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…Their structural complexity prohibits the application of dexterous control mechanisms. As always, a supervisor may involve too many conditional constraints that result in numerous sensors, actuators, and connection nodes [1]- [6], [27], [31]. As a common sense, intricate control system may lead to higher cost but lower reliability [3].…”

Section: Introductionmentioning

confidence: 99%

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

Liu

Yuan

2016

IEEE Trans. Contr. Syst. Technol.

View full text Add to dashboard Cite

Modern complex systems require intensive application of sophisticated supervisors. Structural simplification techniques are one of the fundamental researches in the context of flexible manufacturing systems (FMSs). They can reduce implementation cost, mitigate fabrication complexity, and improve reliability. Several typical methods have been developed along this direction. In order to thoroughly explore their effectiveness and performance, we not only conduct a comparison investigation but also develop some new theoretical results. Several analytical results and performance measures are proposed for their qualitative and quantitative comparison. Our approach can assist researchers and practitioners to better comprehend the inherent mechanisms and relative merits of these simplification methodologies as well as their applicability in FMSs. This paper is motivated by FMSs' control; however, it is also applicable to other systems with discrete event controllers.

show abstract

“…The complexity of Automated Production Systems (APS) and demand from industrial partners for equipments availability, make functioning surety of Programmer Logic Controller (PLC) a major preoccupation of managers in industrial domain [1] and [2]. In fact, emergency stopping of industrial processes caused by their failed automaton leads to undesirable situations.…”

Section: Introductionmentioning

confidence: 99%

Supervision Architecture Design for Programmer Logical Controller Including Crash Mode

zohra¹,

Sekhri²,

Haffaf³

2014

IJITCS

View full text Add to dashboard Cite

Abstract-This paper is a contribution for development of a high level of security for the Programmer Logic Controller (PLC). Many industrial adopt the redundant PLC architecture (or Standby PLC) designed to replace the failed (out of order) PLC without stopping associated automated equipments. We propose a formal method to choose a Standby PLC based on probability study, by comparing normal functioning to misbehavior one leading to residue generation process. Any generated difference reveals a presence of anomaly. The proposed method begins by listing all PLC components failures leading to their stopping according to failures criticalities. Two models; functional and dysfunctional are obtained by using formal specifications. Probability's calculus of dysfunction of each Standby PLC is obtained by the sum of the probabilities of dysfunction of its critical components. These probabilities are allocated each transition which leads to the dysfunction in the dysfunctional model. The dysfunctional model is obtained by using the FMECA method (Failure Modes, Effects and Criticality Analysis). We shall see that this global vision of functioning of the whole PLC leads to a higher level of security where the chosen Standby PLC works continuously.

show abstract

Algebraic synthesis of logical controllers despite inconsistencies in specifications

Cited by 4 publications

References 14 publications

Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations

Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

Supervision Architecture Design for Programmer Logical Controller Including Crash Mode

Contact Info

Product

Resources

About