Tichakorn Wongpiromsarn

Statistics

Publications

Citations

H-Index

Active since

2008

Affiliations

Singapore-MIT Alliance for Research and Technology(Current)

Massachusetts Institute of Technology

California Institute of Technology

Nanyang Technological University

Ministry of Science and Technology Thailand

Tichakorn Wongpiromsarn is an author at Singapore-MIT Alliance for Research and Technology specializing in systems engineering, engineering, and automation.

ORCID

Top concepts

EngineeringSystems EngineeringAutomationComputer ScienceFormal MethodsFormal VerificationRoboticsAutomated ReasoningVerificationComputer Engineering

Publications per year

2008–2021

Publications

Receding Horizon Temporal Logic Planning

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray · IEEE Transactions on Automatic Control · 2012 · 296 citations

Real-time Control, Engineering, Formal Verification +16

TuLiP

Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Özay et al. · 2011 · 197 citations

Engineering, Tulip Combines Routines, Control Structure +15

Receding horizon control for temporal logic specifications

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray · 2010 · 194 citations

Real-time Control, Engineering, Temporal Logic Specifications +16

Capacity-Aware Backpressure Traffic Signal Control

Jean Grégoire, Xiangjun Qian, Emilio Frazzoli et al. · IEEE Transactions on Control of Network Systems · 2014 · 157 citations

Backpressure Control, Engineering, Edge Computing +11

Receding horizon temporal logic planning for dynamical systems

Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray · 2009 · 149 citations

Logical Automaton, Engineering, Ai Planning +15

1–5 of 32