63 citations · 188 across the 23 of their papers we have counts for
7 papers · 1 filter
Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks
Luyao Niu, Jie Fu, Andrew Clark
Cyber-physical systems are conducting increasingly complex tasks, which are often modeled using formal languages such as temporal logic. The system's ability to perform the require…
Importance sampling-based approximate optimal planning and control
Jie Fu
In this paper, we propose a sampling-based planning and optimal control method of nonlinear systems under non-differentiable constraints. Motivated by developing scalable planning…
Computational methods for stochastic control with metric interval temporal logic specifications
Jie Fu, Ufuk Topcu
This paper studies an optimal control problem for continuous-time stochastic systems subject to reachability objectives specified in a subclass of metric interval temporal logic sp…
Optimal control in Markov decision processes via distributed optimization
Jie Fu, Shuo Han, Ufuk Topcu
Optimal control synthesis in stochastic systems with respect to quantitative temporal logic constraints can be formulated as linear programming problems. However, centralized synth…
Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations
Jie Fu, Ufuk Topcu
We introduce the notion of online reactive planning with sensing actions for systems with temporal logic constraints in partially observable and dynamic environments. With incomple…
Abstractions and sensor design in partial-information, reactive controller synthesis
Jie Fu, Rayna Dimitrova, Ufuk Topcu
Automated synthesis of reactive control protocols from temporal logic specifications has recently attracted considerable attention in various applications in, for example, robotic…
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints
Jie Fu, Ufuk Topcu
We consider synthesis of control policies that maximize the probability of satisfying given temporal logic specifications in unknown, stochastic environments. We model the interact…