Skip to main content
SpringerLink
Log in

Robust Global Almost Sure Synchronization on a Circle via Stochastic Hybrid Control

  • Chapter
Control of Cyber-Physical Systems

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 449))

Abstract

This chapter describes some recent advances in modeling and stability analysis for stochastic hybrid systems from the viewpoint of applications to cyber-physical systems. As an illustration, it discusses synthesizing an algorithm for robust, global, almost sure synchronization of a large number of agents evolving on a circle under all-to-all communication. The robustness includes achieving near synchronization even in the presence of adversarial perturbations. This behavior is not something that is achieved via non-stochastic, non-hybrid almost global synchronization algorithms.

Research supported in part by NSF under grant ECCS-1232035 and AFOSR under grant AFOSR FA9550-12-1-0127.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baheti, R., Gill, H.: Cyber-physical systems. The Impact of Control Technology, pp. 161–166 (2011)

    Google Scholar 

  2. Boyd, S., Ghosh, A., Prabhakar, B., Shah, D.: Randomized gossip algorithms. IEEE Transactions on Information Theory 52(6), 2508–2530 (2006)

    Article  MathSciNet  Google Scholar 

  3. Bujorianu, M., Lygeros, J.: Toward a general theory of stochastic hybrid systems. In: Stochastic Hybrid Systems, pp. 3–30 (2006)

    Google Scholar 

  4. Cai, C., Goebel, R., Teel, A.R.: Smooth Lyapunov functions for hybrid systems part ii:(pre) asymptotically stable compact sets. IEEE Transactions on Automatic Control 53(3), 734–748 (2008)

    Article  MathSciNet  Google Scholar 

  5. Cardenas, A.A., Amin, S., Sastry, S.: Secure control: Towards survivable cyber-physical systems. In: 28th International Conference on Distributed Computing Systems Workshops, pp. 495–500. IEEE (2008)

    Google Scholar 

  6. Cassandras, C.G., Lygeros, J.: Stochastic hybrid systems, vol. 24. CRC (2006)

    Google Scholar 

  7. Davis, M.H.A.: Markov Models & Optimization, vol. 49. Chapman & Hall/CRC (1993)

    Google Scholar 

  8. Davis, M.H.A.: Piecewise-deterministic markov processes: A general class of non-diffusion stochastic models. Journal of the Royal Statistical Society. Series B (Methodological), 353–388 (1984)

    Google Scholar 

  9. Freeman, R.A., Nelson, T.R., Lynch, K.M.: A complete characterization of a class of robust linear average consensus protocols. In: Proc. American Control Conference, pp. 3198–3203 (2010)

    Google Scholar 

  10. Goebel, R., Sanfelice, R.G., Teel, A.R.: Hybrid dynamical systems. IEEE Control Systems 29(2), 28–93 (2009)

    Article  MathSciNet  Google Scholar 

  11. Goebel, R., Teel, A.R.: Solutions to hybrid inclusions via set and graphical convergence with stability theory applications. Automatica 42(4), 573–587 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  12. Grammatico, S., Subbaraman, A., Teel, A.R.: Discrete-time stochastic control systems: a continuous Lyapunov function implies robustness to strictly causal perturbations. Automatica (submitted, 2013)

    Google Scholar 

  13. Hanson, F.B.: Applied stochastic processes and control for jump diffusions: modeling, analysis, and computation. Society for Industrial and Applied Mathematics (2007)

    Google Scholar 

  14. Henzinger, T.A.: The theory of hybrid automata. Springer (2000)

    Google Scholar 

  15. Hu, J., Lygeros, J., Sastry, S.: Towards a theory of stochastic hybrid systems. In: Hybrid Systems: Computation and Control, pp. 160–173 (2000)

    Google Scholar 

  16. Lakshmikantham, V., Bainov, D., Simeonov, P.S.: Theory of impulsive differential equations, vol. 6. World Scientific Publishing Company Incorporated (1989)

    Google Scholar 

  17. Pasqualetti, F., Dorfler, F., Bullo, F.: Cyber-physical attacks in power networks: Models, fundamental limitations and monitor design. In: Proc. 50th IEEE Conference on Decision and Control and European Control Conference, pp. 2195–2201 (2011)

    Google Scholar 

  18. Pasqualetti, F., Dorfler, F., Bullo, F.: Cyber-physical security via geometric control: Distributed monitoring and malicious attacks. In: Proc. 51st IEEE Conference on Decision and Control, pp. 3418–3425 (2012)

    Google Scholar 

  19. Poovendran, R.: Cyber–physical systems: Close encounters between two parallel worlds [point of view]. Proceedings of the IEEE 98(8), 1363–1366 (2010)

    Article  Google Scholar 

  20. Rockafellar, R.T., Wets, R.J.B.: Variational Analysis. Springer, Berlin (1998)

    Book  MATH  Google Scholar 

  21. Sanfelice, R.G., Goebel, R., Teel, A.R.: Invariance principles for hybrid systems with connections to detectability and asymptotic stability. IEEE Transactions on Automatic Control 52(12), 2282–2297 (2007)

    Article  MathSciNet  Google Scholar 

  22. Sanfelice, R.G., Teel, A.R.: On singular perturbations due to fast actuators in hybrid control systems. Automatica 47(4), 692–701 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  23. Sarlette, A., Sepulchre, R.: Synchronization on the circle. arXiv preprint arXiv:0901.2408 (2009)

    Google Scholar 

  24. Sarlette, A., Tuna, S.E., Blondel, V., Sepulchre, R.: Global synchronization on the circle. In: Proc. 17th IFAC World Congress (2008)

    Google Scholar 

  25. Sepulchre, R.: Consensus on nonlinear spaces. Annual Reviews in Control 35(1), 56–64 (2011)

    Article  MathSciNet  Google Scholar 

  26. Subbaraman, A., Hartman, M., Teel, A.R.: A stochastic hybrid algorithm for robust global almost sure synchronization on the circle: all-to-all communication. In: Proc. IEEE Conference on Decision and Control (submitted, 2013)

    Google Scholar 

  27. Subbaraman, A., Teel, A.R.: A converse Lyapunov theorem for strong global recurrence. Automatica (2012) (submitted) username: guest, password: ABCD1234, http://www.ece.ucsb.edu/%7Eteel/submitted/converse2.pdf

  28. Teel, A.R.: Lyapunov conditions certifying stability and recurrence for a class of stochastic hybrid systems. Annual Reviews in Control (2013), http://dx.doi.org/10.1016/j.arcontrol.2013.02.001

  29. Teel, A.R., Hespanha, J.P., Subbaraman, A.: A converse theorem for global asymptotic stability in probability. IEEE Transactions on Automatic Control (2012) (submitted) username: guest, password: ABCD1234, http://www.ece.ucsb.edu/%7Eteel/submitted/converse1.pdf

  30. Wang, W., Teel, A.R., Nešić, D.: Analysis for a class of singularly perturbed hybrid systems via averaging. Automatica 48(6), 1057–1068 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  31. Yin, G., Zhu, C.: Hybrid switching diffusions: properties and applications, vol. 63. Springer (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electrical and Computer Engineering Department, University of California, Santa Barbara, CA, 93106-9560, USA

    Matthew Hartman, Anantharaman Subbaraman & Andrew R. Teel

Authors
  1. Matthew Hartman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anantharaman Subbaraman
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrew R. Teel
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Matthew Hartman .

Editor information

Editors and Affiliations

  1. , Department of Electrical and, The Johns Hopkins University, Baltimore, 21218, Maryland, USA

    Danielle C. Tarraf

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Hartman, M., Subbaraman, A., Teel, A.R. (2013). Robust Global Almost Sure Synchronization on a Circle via Stochastic Hybrid Control. In: Tarraf, D. (eds) Control of Cyber-Physical Systems. Lecture Notes in Control and Information Sciences, vol 449. Springer, Heidelberg. https://doi.org/10.1007/978-3-319-01159-2_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-01159-2_1

  • Publisher Name: Springer, Heidelberg

  • Print ISBN: 978-3-319-01158-5

  • Online ISBN: 978-3-319-01159-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation