37 citations · 39 across the 11 of their papers we have counts for
15 papers
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…
Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints
Omid Akbarzadeh, Mohammad H. Mamduhi, Abolfazl Lavaei
This paper develops a framework for synthesizing safety controllers for discrete-time stochastic linear control systems (dt-SLS) operating under communication imperfections. The co…
Distributed State Estimation for Linear Time-Varying Systems with Sensor Network Delays
Sanjay Chandrasekaran, Vishnu Varadan, Siva Vignesh Krishnan +2
Distributed sensor networks often include a multitude of sensors, each measuring parts of a process state space or observing the operations of a system. Communication of measuremen…
Average Communication Rate for Event-Triggered Stochastic Control Systems
Zengjie Zhang, Qingchen Liu, Mohammad H. Mamduhi +1
Quantifying the average communication rate (ACR) of a networked event-triggered stochastic control system (NET-SCS) with deterministic thresholds is challenging due to the non-stat…
Controller-Aware Dynamic Network Management for Industry 4.0
Efe C. Balta, Mohammad H. Mamduhi, John Lygeros +1
In this paper, we consider a cyber-physical manufacturing system (CPMS) scenario containing physical components (robots, sensors, and actuators), operating in a digitally connected…
Stochastic Stability of Discrete-time Phase-coupled Oscillators over Uncertain and Random Networks
Matin Jafarian, Mohammad H. Mamduhi, Karl H. Johansson
This article studies stochastic relative phase stability, i.e., stochastic phase-cohesiveness, of discrete-time phase-coupled oscillators. Stochastic phase-cohesiveness in two type…
Delay-sensitive Joint Optimal Control and Resource Management in Multi-loop Networked Control Systems
Mohammad H. Mamduhi, Dipankar Maity, Sandra Hirche +2
In the operation of networked control systems, where multiple processes share a resource-limited and time-varying cost-sensitive network, communication delay is inevitable and prim…
Event-triggered Add-on Safety for Connected and Automated Vehicles Using Road-side Network Infrastructure
Mohammad H. Mamduhi, Ehsan Hashemi, John S. Baras +1
This paper proposes an event-triggered add-on safety mechanism to adjust the control parameters for timely braking in a networked vehicular system while maintaining maneuverability…
Joint Cross-layer Optimization in Real-Time Networked Control Systems
Markus Klügel, Mohammad H. Mamduhi, Onur Ayan +4
Networked control system (NCS) refer to a set of control loops that are closed over a communication network. In this article, the joint operation of control and networking for NCS…
Decentralized LQ-Consistent Event-triggered Control over a Shared Contention-based Network
M. Balaghiinaloo, D. J. Antunes, M. H. Mamduhi +1
Consider a network of multiple independent stochastic linear systems where, for each system, a scheduler collocated with the sensors arbitrates data transmissions to a correspondin…
Stochastic phase-cohesiveness of discrete-time Kuramoto oscillators in a frequency-dependent tree network
Matin Jafarian, Mohammad H. Mamduhi, Karl H. Johansson
This paper presents the notion of stochastic phase-cohesiveness based on the concept of recurrent Markov chains and studies the conditions under which a discrete-time stochastic Ku…
Performance Characterization Using AoI in a Single-loop Networked Control System
Jaya Prakash Champati, Mohammad H. Mamduhi, Karl H. Johansson +1
The joint design of control and communication scheduling in a Networked Control System (NCS) is known to be a hard problem. Several research works have successfully designed optima…
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…