Multicriteria optimal reconfiguration of fault-tolerant real-time tasks

Abstract We propose a technique for discrete controller synthesis, with optimal synthesis on bounded paths, in order to model, design, and optimize fault-tolerant distributed systems, taking into account several criteria (e.g., the execution costs of the tasks and their quality of service). Different combinations are explored for multi-criteria optimization.

[1]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[2]  Éric Rutten,et al.  Using Controller-Synthesis Techniques to Build Property-Enforcing Layers , 2003, ESOP.

[3]  Alain Girault,et al.  Validating fault-tolerant behaviors of synchronous system specifications by discrete controller synthesis , 2004 .

[4]  H. Marchand,et al.  Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology , 2000, IEEE Trans. Software Eng..

[5]  S. Lafortune.  Supervisory Control Of Discrete Event Systems , 2011 .

[6]  Éric Rutten,et al.  Contracts for modular discrete controller synthesis , 2010, LCTES '10.

[7]  L. Lasdon,et al.  On a bicriterion formation of the problems of integrated system identification and system optimization , 1971 .

[8]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[9]  Michel Le Borgne.  ON THE OPTIMAL CONTROL OF POLYNOMIAL DYNAMICAL , 1998 .

[10]  Sean R Eddy,et al.  What is dynamic programming? , 2004, Nature Biotechnology.

[11]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[12]  Marco Laumanns,et al.  An efficient, adaptive parameter variation scheme for metaheuristics based on the epsilon-constraint method , 2006, Eur. J. Oper. Res..

[13]  Paul Le Guernic,et al.  Synthesis of Discrete-Event Controllers Based on the Signal Environment , 2000, Discret. Event Dyn. Syst..

[14]  C. Golaszewski.  On the supervisory control of discrete event systems , 1989 .

[15]  Helmut Seidl.  Least and Greatest Solutions of Equations over N , 1996, Nord. J. Comput..

[16]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[17]  Jean-Charles Billaut,et al.  Multicriteria scheduling , 2005, Eur. J. Oper. Res..

[18]  Hervé Marchand,et al.  OPTIMAL DISCRETE CONTROLLER SYNTHESIS FOR MODELING FAULT-TOLERANT DISTRIBUTED SYSTEMS , 2007 .

[19]  Oded Maler.  On optimal and sub-optimal control in the presence of adversaries 1 , 2004 .

[20]  Alberto L. Sangiovanni-Vincentelli,et al.  Fault-tolerant platforms for automotive safety-critical applications , 2003, CASES '03.