Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis
作者： Ruixuan Yan , Zhe Xu , Agung Julius
关键词:
摘要: In this letter, we propose methods to perform swarm behavior analysis with a novel signal temporal logic (SwarmSTL). We define generalized moments describe features and logical proposition represent an event, where the Boolean value of at certain time is known priori . develop for SwarmSTL monitoring inference. As size can be large, also above tasks by sampling. The are applied three case studies that aim monitor “maneuver” behavior, infer formula cause split , explore “mixed-species foraging flock” birds.
sci-hub.se 参考文章(24)
Alexandre Donzé, Oded Maler, Robust satisfaction of temporal logic over real-valued signals formal modeling and analysis of timed systems. ,vol. 6246, pp. 92- 106 ,(2010) , 10.1007/978-3-642-15297-9_9
Eli Upfal, Michael Mitzenmacher, Probability and Computing: Randomized Algorithms and Probabilistic Analysis ,(2005)
Fengrui Zhang, Jianshu Cao, Zhenhui Xu, An improved Particle Swarm Optimization Particle Filtering algorithm international conference on communications circuits and systems. ,vol. 2, pp. 173- 177 ,(2013) , 10.1109/ICCCAS.2013.6765312
Marius Kloetzer, Calin Belta, Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions IEEE Transactions on Robotics. ,vol. 23, pp. 320- 330 ,(2007) , 10.1109/TRO.2006.889492
Anil K. Jain, Data clustering: 50 years beyond K-means international conference on pattern recognition. ,vol. 31, pp. 651- 666 ,(2010) , 10.1016/J.PATREC.2009.09.011
M. Kloetzer, C. Belta, Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications IEEE Transactions on Robotics. ,vol. 26, pp. 48- 61 ,(2010) , 10.1109/TRO.2009.2035776
Georgios E. Fainekos, George J. Pappas, Robustness of temporal logic specifications for continuous-time signals Theoretical Computer Science. ,vol. 410, pp. 4262- 4291 ,(2009) , 10.1016/J.TCS.2009.06.021
V. John, I. Angelov, A.A. Öncül, D. Thévenin, Techniques for the reconstruction of a distribution from a finite number of its moments Chemical Engineering Science. ,vol. 62, pp. 2890- 2904 ,(2007) , 10.1016/J.CES.2007.02.041
Hayato Nakada, Kiyotsugu Takaba, Tohru Katayama, Identification of piecewise affine systems based on statistical clustering technique Automatica. ,vol. 41, pp. 905- 913 ,(2005) , 10.1016/J.AUTOMATICA.2004.12.005
Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta, Temporal logic inference for classification and prediction from data international conference on hybrid systems computation and control. pp. 273- 282 ,(2014) , 10.1145/2562059.2562146