Structural controllability and observability of linear systems over finite fields with applications to multi-agent systems

IEEE Transactions on Automatic Control

Volumn 58, Issue 1, 2013, Pages 60-73

  Sundaram, Shreyas ^a   Hadjicostis, Christoforos N ^b,c  

^a UNIVERSITY OF WATERLOO   (Canada)

^b UNIVERSITY OF CYPRUS   (Cyprus)

^c United States of America   (United States)

Author keywords

Distributed consensus; distributed function calculation; finite fields; linear system theory; multi agent systems; quantized control; structural controllability; structural observability; structured system theory

Indexed keywords

DISTRIBUTED CONSENSUS; DISTRIBUTED FUNCTION; FINITE FIELDS; MULTI AGENT SYSTEM (MAS); QUANTIZED CONTROL; STRUCTURAL CONTROLLABILITY; STRUCTURED SYSTEMS;

CONTROLLABILITY; DISTRIBUTED COMPUTER SYSTEMS; FINITE ELEMENT METHOD; GRAPH THEORY; ITERATIVE METHODS; LINEAR SYSTEMS; MULTI AGENT SYSTEMS; SET THEORY; SYSTEM THEORY;

OBSERVABILITY;

EID: 84871735046     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2012.2204155     Document Type: Article

References (46)

1. F. Bullo, J. Cortés, and S. Martínez, Distributed Control of Robotic Networks, ser. Applied Mathematics Series. Princeton, NJ: Princeton University Press, 2009.
2. R. Olfati-Saber, J. A. Fax, and R. M. Murray, "Consensus and cooperation in networked multi-agent systems," Proc. IEEE, vol. 95, no. 1, pp. 215-233, Jan. 2007.
3. N. A. Lynch, Distributed Algorithms. Burlington, MA: Morgan Kaufmann Publishers, Inc., 1996.
4. R. Koetter and M. Médard, "An algebraic approach to network coding," IEEE/ACM Trans. Networking, vol. 11, no. 5, pp. 782-795, Oct. 2003.
5. A. Giridhar and P. R. Kumar, "Toward a theory of in-network computation in wireless sensor networks," IEEE Commun. Mag., vol. 44, no. 4, pp. 98-107, Apr. 2006. (Pubitemid 43792675)
6. N. H. Packard and S. Wolfram, "Two-dimensional cellular automata," J. Stat. Phys., vol. 38, no. 5-6, pp. 901-946, Mar. 1985.
7. H. Tanner, "On the controllability of nearest neighbor interconnections," in Proc. 43rd IEEE Conf. Decision Control, 2004, pp. 2467-2472. (Pubitemid 40287154)
8. A. Rahmani and M. Mesbahi, "On the controlled agreement problem," in Proc. Amer. Control Conf., 2006, pp. 1376-1381. (Pubitemid 46531006)
9. S. Martini, M. Egerstedt, and A. Bicchi, "Controllability decompositions of networked systems through quotient graphs," in Proc. 47th IEEE Conf. Decision Control, 2008, pp. 5244-5249.
10. R. Lozano, M. W. Spong, J. A. Guerrero, and N. Chopra, "Controllability and observability of leader-based multi-agent systems," in Proc. 47th IEEE Conf. Decision Control, 2008, pp. 3713-3718.
11. A. Rahmani, M. Ji, M. Mesbahi, and M. Egerstedt, "Controllability of multi-agent systems from a graph-theoretic perspective," SIAM J. Control Optim., vol. 48, no. 1, pp. 162-186, Feb. 2009.
12. A. Kashyap, T. Başar, and R. Srikant, "Quantized consensus," Automatica, vol. 43, no. 7, pp. 1192-1203, Jul. 2007. (Pubitemid 46802442)
13. A. Savkin, "Coordinated collective motion of groups of autonomous mobile robots: Analysis of Vicsek's model," IEEE Trans. Autom. Control, vol. 49, no. 6, pp. 981-983, Jun. 2004.
14. T. Aysal, M. Coates, and M. Rabbat, "Distributed average consensus with dithered quantization," IEEE Trans. Signal Processing, vol. 56, no. 10, pp. 4905-4918, Oct. 2008.
15. P. Frasca, R. Carli, F. Fagnani, and S. Zampieri, "Average consensus by gossip algorithms with quantized communication," in Proc. 47th IEEE Conf. Decision Control, 2008, pp. 4837-4842.
16. F. Benezit, P. Thiran, and M. Vetterli, "Interval consensus: From quantized gossip to voting," in Proc. IEEE Conf. Acoust., Speech Signal Processing, 2009, pp. 3661-3664.
17. M. Draief and M. Vojnovic, "Convergence speed of binary interval consensus," in Proc. IEEE Conf. Comp. Commun., 2010, pp. 1-9.
18. M. E. Yildiz and A. Scaglione, "Differential nested lattice encoding for consensus problems," in Proc. 6th Int. Conf. Inform. Processing Sensor Networks (IPSN), 2007, pp. 89-98. (Pubitemid 47582139)
19. A. Nedic, A. Olshevsky, A. Ozdaglar, and J. N. Tsitsiklis, "On distributed averaging algorithms and quantization effects," in Proc. 47th IEEE Conf. Decision Control, 2008, pp. 4825-4830.
20. A. Fagiolini, E. M. Visibelli, and A. Bicchi, "Logical consensus for distributed network agreement," in Proc. 47th IEEE Conf. Decision Control, 2008, pp. 5250-5255.
21. R. W. Yeung, S.-Y. R. Li, N. Cai, and Z. Zhang, "Network coding theory," Found. Trends Commun. Inform. Theory, vol. 2, no. 4/5, pp. 241-381, 2005.
22. S. Deb, M. Médard, and C. Choute, "Algebraic gossip: A network coding approach to optimal multiple rumor mongering," IEEE Trans. Inform. Theory, vol. 52, no. 6, pp. 2486-2507, Jun. 2006. (Pubitemid 43898905)
23. D. Mosk-Aoyama and D. Shah, "Information dissemination via network coding," in Proc. 2006 IEEE Int. Symp. Inform. Theory, 2006, pp. 1748-1752. (Pubitemid 351244398)
24. S. Sundaram and C. N. Hadjicostis, "Distributed function calculation and consensus using linear iterative strategies," IEEE J. Selected Areas Commun., vol. 26, no. 4, pp. 650-660, May 2008. (Pubitemid 351658780)
25. S. Sundaram and C. N. Hadjicostis, "Distributed function calculation via linear iterative strategies in the presence of malicious agents," IEEE Trans. Autom. Control, vol. 56, no. 7, pp. 1495-1508, Jul. 2011.
26. J.-M. Dion, C. Commault, and J. van der Woude, "Generic properties and control of linear structured systems: A survey," Automatica, vol. 39, no. 7, pp. 1125-1144, Jul. 2003.
27. R. Lidl and H. Niederreiter, Introduction to Finite Fields and Their Applications, 2nd ed. Cambridge, U. K. : Cambridge Univ. Press, 1994.
28. A. Papantonopoulou, Algebra: Pure and Applied. Englewood Cliffs, NJ: Prentice-Hall, 2002.
29. J. Hromkovic, R. Klasing, A. Pelc, P. Ruzicka, and W. Unger, Dissemination of Information in Communication Networks. Berlin, Germany: Springer-Verlag, 2005.
30. P. J. Antsaklis and A. N. Michel, Linear Systems. Boston, MA: Birkhauser, 2006.
31. J. L. Massey and M. K. Sain, "Inverses of linear sequential circuits," IEEE Trans. Computers, vol. C-17, no. 4, pp. 330-337, Apr. 1968.
32. G. Forney, "Convolutional codes I: Algebraic structure," IEEE Trans. Inform. Theory, vol. IT-16, no. 6, pp. 720-738, Nov. 1970.
33. M. Kociecki and K. M. Przyluski, "On the number of controllable linear systems over a finite field," Linear Algebra Appl., vol. 122-124, pp. 115-122, 1989.
34. J. Reger and K. Schmidt, "Aspects on analysis and synthesis of linear discrete systems over the finite field GF(q)," in Proc. Eur. Control Conf., 2003. [CD ROM].
35. J. Reger, "Linear Systems Over Finite Fields-Modeling, Analysis and Synthesis," Ph. D. dissertation, Univ. Erlangen-Nuremberg, Nuremberg, Germany, 2004.
36. J. Rosenthal, "Connections between linear systems and convolutional codes," in Codes, Systems and Graphical Models, B. Marcus and J. Rosenthal, Eds. Berlin, Germany: Springer-Verlag, 2001, vol. 123, pp. 39-66.
37. C. N. Hadjicostis, "Non-concurrent error detection and correction in fault-tolerant linear finite-state machines," IEEE Trans. Autom. Control, vol. 48, no. 12, pp. 2133-2140, Dec. 2003.
38. R. Grosu, "Finite automata as time-inv linear systems: Observability, reachability and more," in Hybrid Systems: Computation and Control, R. Majumdar and P. Tabuada, Eds. Berlin, Germany: Springer-Verlag, 2009, vol. LNCS 5469, pp. 194-208.
39. R. E. Kalman, P. L. Falb, and M. A. Arbib, Topics in Mathematical System Theory. New York: McGraw-Hill, 1969.
40. S. H. Friedberg, A. J. Insel, and L. E. Spence, Linear Algebra, 4th ed. Upper Saddle River, NJ: Prentice-Hall, 2003.
41. K. J. Reinschke, Multivariable Control: A Graph-Theoretic Approach. Berlin, Germany: Springer-Verlag, 1988.
42. D. B. West, Introduction to Graph Theory. Upper Saddle River, NJ: Prentice-Hall, 2001.
43. R. A. Horn and C. R. Johnson, Matrix Analysis. Cambridge, U. K. : Cambridge Univ. Press, 1985.
44. R. E. Blahut, Algebraic Codes for Data Transmission. Cambridge, U. K. : Cambridge Univ. Press, 2003.
45. T. Ho, M. Médard, J. Shi, M. Effros, and D. R. Karger, "On randomized network coding," in Proc. 41st Allerton Conf. Commun., Control Comp., 2003. [CD ROM].
46. D. C. Kozen, Theory of Computation. London, U. K. : Springer-Verlag, 2006.