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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baheti, R., Gill, H.: Cyber-physical systems. The Impact of Control Technology, pp. 161–166 (2011)
Boyd, S., Ghosh, A., Prabhakar, B., Shah, D.: Randomized gossip algorithms. IEEE Transactions on Information Theory 52(6), 2508–2530 (2006)
Bujorianu, M., Lygeros, J.: Toward a general theory of stochastic hybrid systems. In: Stochastic Hybrid Systems, pp. 3–30 (2006)
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)
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)
Cassandras, C.G., Lygeros, J.: Stochastic hybrid systems, vol. 24. CRC (2006)
Davis, M.H.A.: Markov Models & Optimization, vol. 49. Chapman & Hall/CRC (1993)
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)
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)
Goebel, R., Sanfelice, R.G., Teel, A.R.: Hybrid dynamical systems. IEEE Control Systems 29(2), 28–93 (2009)
Goebel, R., Teel, A.R.: Solutions to hybrid inclusions via set and graphical convergence with stability theory applications. Automatica 42(4), 573–587 (2006)
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)
Hanson, F.B.: Applied stochastic processes and control for jump diffusions: modeling, analysis, and computation. Society for Industrial and Applied Mathematics (2007)
Henzinger, T.A.: The theory of hybrid automata. Springer (2000)
Hu, J., Lygeros, J., Sastry, S.: Towards a theory of stochastic hybrid systems. In: Hybrid Systems: Computation and Control, pp. 160–173 (2000)
Lakshmikantham, V., Bainov, D., Simeonov, P.S.: Theory of impulsive differential equations, vol. 6. World Scientific Publishing Company Incorporated (1989)
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)
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)
Poovendran, R.: Cyber–physical systems: Close encounters between two parallel worlds [point of view]. Proceedings of the IEEE 98(8), 1363–1366 (2010)
Rockafellar, R.T., Wets, R.J.B.: Variational Analysis. Springer, Berlin (1998)
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)
Sanfelice, R.G., Teel, A.R.: On singular perturbations due to fast actuators in hybrid control systems. Automatica 47(4), 692–701 (2011)
Sarlette, A., Sepulchre, R.: Synchronization on the circle. arXiv preprint arXiv:0901.2408 (2009)
Sarlette, A., Tuna, S.E., Blondel, V., Sepulchre, R.: Global synchronization on the circle. In: Proc. 17th IFAC World Congress (2008)
Sepulchre, R.: Consensus on nonlinear spaces. Annual Reviews in Control 35(1), 56–64 (2011)
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)
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
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
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
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)
Yin, G., Zhu, C.: Hybrid switching diffusions: properties and applications, vol. 63. Springer (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)