Motion Description Languages and Symbolic Control
Author:
Andersson Sean B.
Publisher
Springer London
Reference24 articles.
1. Abate A, D’Innocenzo A, Di Benedetto MD (2011) Approximate abstractions of stochastic hybrid systems. IEEE Trans Autom Control 56(11):2688–2694
2. Arkin RC (1998) Behavior-based robotics. MIT Press
3. Baillieul J, Ozcimder K (2014) Dancing robots: the control theory of communication through movement. In: Laviers A, Egerstedt M (eds) Controls and Art. Springer, Switzerland, pp 51–72
4. Bartocci E, Aydin Gol E, Haghighi I, Belta C (2018) A formal methods approach to pattern recognition and synthesis in reaction diffusion networks. IEEE Trans Control Netw Syst 5(1):308–320
5. Belta C, Bicchi A, Egerstedt M, Frazzoli E, Klavins E, Pappas GJ (2007) Symbolic planning and control of robot motion (grand challenges of robotics). IEEE Robot Autom Mag 14(1):61–70