Items where Author is "Zamani, Majid"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 9.

Article

Lavaei, Abolfazl and Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Zamani, Majid
(2017) Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems.
CoRR, abs/17.

Belta, Calin and Majumdar, Rupak and Zamani, Majid and Rungger, Matthias
(2017) Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).
Dagstuhl Reports, 7 (5). 84–96.

Zamani, Majid and Esfahani, Peyman Mohajerin and Majumdar, Rupak and Abate, Alessandro and Lygeros, John
(2014) Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions.
IEEE Trans. Automat. Contr., 59 (12). 3135–3150.

Conference or Workshop Item

Lavaei, Abolfazl and Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Zamani, Majid
(2017) Compositional abstractions of interconnected discrete-time stochastic control systems.
In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017.
Conference: CDC - IEEE Conference on Decision and Control

Zamani, Majid and Esfahani, Peyman Mohajerin and Majumdar, Rupak and Abate, Alessandro and Lygeros, John
(2013) Bisimilar finite abstractions of stochastic control systems.
In: Proc. of the 52nd IEEE Conference on Decision and Control (CDC 2013).
Conference: CDC - IEEE Conference on Decision and Control

Majumdar, Rupak and Zamani, Majid
(2012) Approximately Bisimilar Symbolic Models for Digital Control Systems.
In: Proc. of the 24th International Conference on Computer Aided Verification (CAV 2012).
Conference: CAV - Computer Aided Verification

Majumdar, Rupak and Saha, Indranil and Zamani, Majid
(2012) Synthesis of minimal-error control software.
In: Proc. of the International Conference on Embedded Software (EMSOFT 2012).
Conference: EMSOFT - ACM Conference on Embedded Software

Zamani, Majid and Majumdar, Rupak
(2011) A Lyapunov approach in incremental stability.
In: 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011).
Conference: CDC - IEEE Conference on Decision and Control

Majumdar, Rupak and Saha, Indranil and Zamani, Majid
(2011) Performance-aware Scheduler Synthesis for Control Systems.
In: Proc. of the International Conference on Embedded Software (EMSOFT 2011).
Conference: EMSOFT - ACM Conference on Embedded Software

This list was generated on Wed Jul 17 00:03:12 2019 CEST.