37 citations · 39 across the 11 of their papers we have counts for
3 papers · 1 filter
Integer-Free Control Synthesis for Signal Temporal Logic via Ranked Implicants
Arash Bahari Kordabad, Mohammad H. Mamduhi, Sadegh Soudjani
This paper proposes an integer-free method for control synthesis of nonlinear discrete-time systems under finite-horizon Signal Temporal Logic (STL) constraints. Instead of introdu…
Safe Packetized Control for Stochastic Constrained Networked Systems
Omid Akbarzadeh, MohammadHossein Ashoori, Mohammad H. Mamduhi +1
This work develops a formal framework for the synthesis of packetized safety controllers for discrete-time polynomial stochastic networked control systems (dt-PSNCS) operating unde…
Barrier Certificates for Uncertain Temporal Specifications
Mohammad H. Mamduhi, Sadegh Soudjani
This paper studies satisfying temporal logic specifications on stochastic dynamical systems, where the predicates evolve randomly over time. Such randomness may arise from uncertai…