57 citations
3 papers
cs.LG2012★ 57 cited
Decentralized Data Fusion and Active Sensing with Mobile Sensors for Modeling and Predicting Spatiotemporal Traffic Phenomena
Jie Chen, Kian Hsiang Low, Colin Keng-Yan Tan +4
The problem of modeling and predicting spatiotemporal traffic phenomena over an urban road network is important to many traffic applications such as detecting and forecasting conge…
cs.RO2012
Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta +2
We consider the synthesis of control policies from temporal logic specifications for robots that interact with multiple dynamic environment agents. Each environment agent is modele…
cs.LO2012★ 2 cited
Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications
Tichakorn Wongpiromsarn, Emilio Frazzoli
We consider the synthesis of control policies for probabilistic systems, modeled by Markov decision processes, operating in partially known environments with temporal logic specifi…