Multicriteria optimal reconfiguration of fault-tolerant real-time tasks
暂无分享,去创建一个
[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.