14 citations · 56 across the 22 of their papers we have counts for
5 papers · 1 filter
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a…
Road Pricing for Spreading Peak Travel: Modeling and Design
Tichakorn Wongpiromsarn, Nan Xiao, Keyou You +4
A case study of the Singapore road network provides empirical evidence that road pricing can significantly affect commuter trip timing behaviors. In this paper, we propose a model…
Distributed Traffic Signal Control for Maximum Network Throughput
Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Yu Wang +2
We propose a distributed algorithm for controlling traffic signals. Our algorithm is adapted from backpressure routing, which has been mainly applied to communication and power net…
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…
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…