Reconfigurable robot teams: modeling and supervisory control

Teams of land-based, airborne, or submerged robots constitute a new breed of robotic systems for which the issue of controlled behavior arises naturally. In this brief, we model the dynamics of the robot team in the discrete-event system (DES) framework and design a reconfigurable system that can handle situations in which robot units may switch offline. In particular, we exploit the dichotomy between controllable and uncontrollable behavior to synthesize a supervisor using only controllable events, but also one whose structure adapts to uncontrollable events. This brief presents a novel method based on learning and verification for restoring supervision as well as behavioral assurance of the team.

[1]  Robert P. Kurshan,et al.  Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach , 2014 .

[2]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[3]  Kiriakos Kiriakidis,et al.  Supervision of multiple-robot systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[4]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[5]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[6]  Diana F. Spears.  Asimovian Adaptive Agents , 2000, J. Artif. Intell. Res..

[7]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[8]  K. Kiriakidis,et al.  Adaptive supervisory control of interconnected discrete event systems , 2000, Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings (Cat. No.00CH37162).

[9]  W. M. Wonham,et al.  Modular supervisory control of discrete-event systems , 1988, Math. Control. Signals Syst..

[10]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[11]  Kenneth H. Rosen,et al.  Discrete Mathematics and its applications , 2000 .

[12]  Vijay K. Garg,et al.  Modeling and Control of Logical Discrete Event Systems , 1994 .

[13]  Vijay K. Garg,et al.  Model Uncertainty in Discrete Event Systems , 1995 .

[14]  S. H. Wang,et al.  Another Approach to the Control of Discrete Event Systems with Minimal Switchings , 1988, 1988 American Control Conference.

[15]  Pierre Wolper,et al.  An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.

[16]  Fag Lin,et al.  Robust and Adaptive Supervisory Control of Discrete Event Systems , 1992, 1992 American Control Conference.

[17]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .