497 citations · 2.1k across the 297 of their papers we have counts for
5 papers · 2 filters
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications
Zhe Xu, Agung Julius, Ufuk Topcu +1
In this paper, we present a controller synthesis approach for wind turbine generators (WTG) and energy storage systems with metric temporal logic (MTL) specifications, with provabl…
Online Synthesis for Runtime Enforcement of Safety in Multi-Agent Systems
Dhananjay Raju, Suda Bharadwaj, Ufuk Topcu
A shield is attached to a system to guarantee safety by correcting the system's behavior at runtime. Existing methods that employ design-time synthesis of shields do not scale to m…
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications
Zhe Xu, Kasra Yazdani, Matthew T. Hale +1
Privacy is an important concern in various multiagent systems in which data collected from the agents are sensitive. We propose a differentially private controller synthesis approa…
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach
Zhe Xu, Federico M. Zegers, Bo Wu +2
This paper develops a controller synthesis approach for a multi-agent system (MAS) with intermittent communication. We adopt a leader-follower scheme, where a mobile leader with ab…
Control Theory Meets POMDPs: A Hybrid Systems Approach
Mohamadreza Ahmadi, Nils Jansen, Bo Wu +1
Partially observable Markov decision processes (POMDPs) provide a modeling framework for a variety of sequential decision making under uncertainty scenarios in artificial intellige…