Data-Driven Generation of Low-Complexity Control Programs

In this paper we study the problem of generating control programs, i.e. strings of symbolic descriptions of control-interrupt pairs (or modes) from input-output data. In particular, we take the point of view that such control programs have an information theoretic content and thus that they can be more or less effectively coded. As a result, we focus our attention on the problem of producing low-complexity programs by recovering the shortest mode strings as well as the strings that contain the smallest number of distinct modes. An example is provided where the data is obtained by tracking ten roaming ants in a tank.

[1]  D. Hristu-Varsakelis,et al.  On the structural complexity of the motion description language MDLe , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[2]  K. Åström,et al.  Comparison of Riemann and Lebesgue sampling for first order stochastic systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[3]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[4]  M. Egerstedt,et al.  Reconstruction of low-complexity control programs from data , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

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

[6]  D UllmanJeffrey,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001 .

[7]  Alex M. Andrew,et al.  Artificial Intelligence and Mobile Robots , 1999 .

[8]  James A. Hendler,et al.  Languages, behaviors, hybrid architectures, and motion control , 1998 .

[9]  Jorma Rissanen,et al.  Stochastic Complexity in Statistical Inquiry , 1989, World Scientific Series in Computer Science.

[10]  Roger W. Brockett,et al.  On the computer control of movement , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[11]  C. E. SHANNON,et al.  A mathematical theory of communication , 1948, MOCO.

[12]  Thomas A. Henzinger.  Masaccio: A Formal Model for Embedded Components , 2000, IFIP TCS.

[13]  Emilio Frazzoli.  Explicit solutions for optimal Maneuver-based motion planning , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[14]  Magnus Egerstedt.  Some complexity aspects of the control of mobile robots , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[15]  Ronald C. Arkin,et al.  An Behavior-based Robotics , 1998 .

[16]  Antonio Bicchi,et al.  Encoding steering control with symbols , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[17]  Dimitrios Hristu-Varsakelis,et al.  Directed graphs and motion description languages for robot navigation , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

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

[19]  John E. Hopcroft,et al.  Motion of Objects in Contact , 1984 .

[20]  Magnus Egerstedt,et al.  Mode Reconstruction for Source Coding and Multi-modal Control , 2003, HSCC.

[21]  Frank Dellaert,et al.  An MCMC-Based Particle Filter for Tracking Multiple Interacting Targets , 2004, ECCV.

[22]  Dimitri P. Bertsekas,et al.  Dynamic Programming and Optimal Control, Two Volume Set , 1995 .

[23]  Magnus Egerstedt,et al.  Motion Description Languages for Multi-Modal Control in Robotics , 2003, Control Problems in Robotics.