Showing math.OCShow all
2 papers · 1 filter
math.OC2026
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…
math.OC2018
Optimal LQG Control under Delay-dependent Costly Information
Dipankar Maity, Mohammad H. Mamduhi, Sandra Hirche +2
In the design of closed-loop networked control systems (NCSs), induced transmission delay between sensors and the control station is an often-present issue which compromises contro…