129 citations · 349 across the 72 of their papers we have counts for
10 papers · 1 filter
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart
Pushpak Jagtap, Fardin Abdi, Matthias Rungger +2
The paper addresses the issue of reliability of complex embedded control systems in the safety-critical environment. In this paper, we propose a novel approach to design controller…
Approximate abstractions of control systems with an application to aggregation
Stanley W. Smith, Murat Arcak, Majid Zamani
Previous approaches to constructing abstractions for control systems rely on geometric conditions or, in the case of an interconnected control system, a condition on the interconne…
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
This paper is concerned with a compositional approach for constructing both infinite (reduced-order models) and finite abstractions (a.k.a. finite Markov decision processes (MDPs))…
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
This paper presents a methodology for temporal logic verification of discrete-time stochastic systems. Our goal is to find a lower bound on the probability that a complex temporal…
SENSE: Abstraction-Based Synthesis of Networked Control Systems
Mahmoud Khaled, Matthias Rungger, Majid Zamani
While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as thos…
Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies
Asad Ullah Awan, Majid Zamani
In this work, we derive conditions under which abstractions of networks of stochastic hybrid systems can be constructed compositionally. Proposed conditions leverage the interconne…
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems
Asad Ullah Awan, Majid Zamani
In this work, we derive conditions under which compositional abstractions of networks of stochastic hybrid systems can be constructed using the interconnection topology and joint d…
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Small-Gain Approach
Abdalla Swikir, Majid Zamani
In this paper, we introduce a compositional scheme for the construction of finite abstractions (a.k.a. symbolic models) of interconnected discrete-time control systems. The composi…
Opacity of nondeterministic transition systems: A (bi)simulation relation approach
Kuize Zhang, Xiang Yin, Majid Zamani
In this paper, we propose several opacity-preserving (bi)simulation relations for general nondeterministic transition systems (NTS) in terms of initial-state opacity, current-state…
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
This paper is concerned with a compositional approach for constructing infinite abstractions of interconnected discrete-time stochastic control systems. The proposed approach uses…