Trajectory-based temporal logic analysis : inference, robust testing and controller synthesis
Loading...
Authors
Xu, Zhe
Issue Date
2018-08
Type
Electronic thesis
Thesis
Thesis
Language
ENG
Keywords
Electrical engineering
Alternative Title
Abstract
To extend the temporal logic inference approach to multi-agent systems, we define a new type of signal temporal logic specifically for multi-agent systems: census signal temporal logic (CensusSTL). The CensusSTL consists of an inner logic formula that characterizes a consistent, frequent and specific task and an outer logic formula that characterizes the pattern of the number of agents in certain subgroups whose behaviors satisfy the inner logic formula. We present a new inference algorithm that can infer both the subgroups and the CensusSTL formulas directly from individual agent trajectories and apply the inference algorithm to analyzing the strategies of a soccer game with the data of body sensors equipped on each player.
Description
August 2018
School of Engineering
School of Engineering
Full Citation
Publisher
Rensselaer Polytechnic Institute, Troy, NY