# Majid Zamani

According to our database

Collaborative distances:

^{1}, Majid Zamani authored at least 154 papers between 2007 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

IEEE Trans. Autom. Control., 2021

Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.

Eur. J. Control, 2021

IEEE Control. Syst. Lett., 2021

IEEE Control. Syst. Lett., 2021

Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions.

IEEE Control. Syst. Lett., 2021

Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs.

CoRR, 2021

Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications.

CoRR, 2021

Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems.

CoRR, 2021

Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach.

CoRR, 2021

Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems.

CoRR, 2021

CoRR, 2021

From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.

CoRR, 2021

Towards More Efficient DNN-Based Speech Enhancement Using Quantized Correlation Mask.

IEEE Access, 2021

2020

ACM Trans. Cyber Phys. Syst., 2020

From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems.

IEEE Trans. Control. Netw. Syst., 2020

Accurate, Very Low Computational Complexity Spike Sorting Using Unsupervised Matched Subspace Learning.

IEEE Trans. Biomed. Circuits Syst., 2020

Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.

IEEE Trans. Autom. Control., 2020

Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems.

IEEE Control. Syst. Lett., 2020

Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.

IEEE Control. Syst. Lett., 2020

Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems.

CoRR, 2020

CoRR, 2020

Verification of Initial-State Opacity for Switched Systems: A Compositional Approach.

CoRR, 2020

CoRR, 2020

Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach.

CoRR, 2020

CoRR, 2020

Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems.

CoRR, 2020

Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach.

CoRR, 2020

Autom., 2020

Compositional abstraction-based synthesis for networks of stochastic switched systems.

Autom., 2020

Autom., 2020

A Fast and Reliable Three-Dimensional Centerline Tracing: Application to Virtual Cochlear Implant Surgery.

IEEE Access, 2020

Adaptive Electrical Impedance Tomography Resolution Enhancement Using Statistically Quantized Projected Image Sub-Bands.

IEEE Access, 2020

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems.

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Compositional construction of control barrier functions for interconnected control systems.

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Compositional Construction of Abstractions for Infinite Networks of Switched Systems.

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Proceedings of the 2020 American Control Conference, 2020

Controller synthesis for interconnected systems using parametric assume-guarantee contracts.

Proceedings of the 2020 American Control Conference, 2020

2019

Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.

IEEE Trans. Autom. Control., 2019

IEEE Control. Syst. Lett., 2019

Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations.

CoRR, 2019

CoRR, 2019

CoRR, 2019

Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach.

CoRR, 2019

Compositional synthesis of finite abstractions for networks of systems: A small-gain approach.

Autom., 2019

Compositional construction of infinite abstractions for networks of stochastic control systems.

Autom., 2019

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Verification and synthesis of interconnected embedded control systems under timing contracts.

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Proceedings of the 17th European Control Conference, 2019

Proceedings of the 17th European Control Conference, 2019

Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions.

Proceedings of the 17th European Control Conference, 2019

Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions.

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations.

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

Proceedings of the 2019 American Control Conference, 2019

2018

IEEE Trans. Control. Netw. Syst., 2018

Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach.

IEEE Trans. Control. Netw. Syst., 2018

Compositional Construction of Approximate Abstractions of Interconnected Control Systems.

IEEE Trans. Control. Netw. Syst., 2018

An Adaptive Neural Spike Processor With Embedded Active Learning for Improved Unsupervised Sorting Accuracy.

IEEE Trans. Biomed. Circuits Syst., 2018

Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps.

IEEE Trans. Autom. Control., 2018

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach.

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs.

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes.

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms.

Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case.

Proceedings of the 16th European Control Conference, 2018

Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case.

Proceedings of the 16th European Control Conference, 2018

Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach.

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach.

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Proceedings of the Automated Technology for Verification and Analysis, 2018

Proceedings of the 2018 Annual American Control Conference, 2018

Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies.

Proceedings of the 2018 Annual American Control Conference, 2018

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems.

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach.

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

IEEE Trans. Autom. Control., 2017

Discret. Event Dyn. Syst., 2017

Dagstuhl Reports, 2017

CoRR, 2017

CoRR, 2017

CoRR, 2017

CoRR, 2017

QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers.

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Application and system-level software fault tolerance through full system restarts.

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

A highly accurate spike sorting processor with reconfigurable embedded frames for unsupervised and adaptive analysis of neural signals.

Proceedings of the 43rd IEEE European Solid State Circuits Conference, 2017

Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach.

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Compositional abstractions of interconnected discrete-time stochastic control systems.

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Compositional abstraction of interconnected control systems under dynamic interconnection topology.

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Proceedings of the 15th European Control Conference, 2016

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Symbolic models of networked control systems: A feedback refinement relation approach.

Proceedings of the 54th Annual Allerton Conference on Communication, 2016

Proceedings of the 54th Annual Allerton Conference on Communication, 2016

Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015

Symbolic models for stochastic switched systems: A discretization and a discretization-free approach.

Autom., 2015

Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Patient specific Parkinson's disease detection for adaptive deep brain stimulation.

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles.

Proceedings of the 2015 IEEE 3rd International Conference on Cyber-Physical Systems, 2015

Construction of approximations of stochastic control systems: A compositional approach.

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Bisimilar symbolic models for stochastic switched systems: A discretization-free approach.

Proceedings of the American Control Conference, 2015

2014

Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions.

IEEE Trans. Autom. Control., 2014

Syst. Control. Lett., 2014

CoRR, 2014

Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Bisimilar symbolic models for stochastic control systems without state-space discretization.

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Proceedings of the American Control Conference, 2014

2013

Syst. Control. Lett., 2013

Erratum: "an Energy Efficient Second-Order σδ modulator Based on the Power and Delay Optimization of CBSC IIR filter".

J. Circuits Syst. Comput., 2013

Proceedings of the 21st IEEE/IFIP International Conference on VLSI and System-on-Chip, 2013

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Dimensionality reduction using asynchronous sampling of first derivative features for real-time and computationally efficient neural spike sorting.

Proceedings of the 20th IEEE International Conference on Electronics, 2013

Suitable compensation circuits for on-chip interference reduction in neural tripolar recordings.

Proceedings of the 20th IEEE International Conference on Electronics, 2013

Controller synthesis for incremental stability: Application to symbolic controller synthesis.

Proceedings of the 12th European Control Conference, 2013

Proceedings of the 12th European Control Conference, 2013

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Control of cyber-physical systems using incremental properties of physical systems.

PhD thesis, 2012

IEEE Trans. Autom. Control., 2012

An Energy Efficient Second-Order σδ modulator Based on the Power and Delay Optimization of CBSC IIR filter.

J. Circuits Syst. Comput., 2012

CBSC-based pipelined analog-to-digital converters: Power dissipation bound analysis.

Proceedings of the 19th IEEE International Conference on Electronics, Circuits and Systems, 2012

Proceedings of the 12th International Conference on Embedded Software, 2012

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

IEEE Trans. Autom. Control., 2011

CoRR, 2011

Performance comparison of artificial intelligence networks in nanoscale MOSFET modeling.

Proceedings of the Seventh International Conference on Natural Computation, 2011

Proceedings of the 11th International Conference on Embedded Software, 2011

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, 2011

Efficient parameters selection for artificial intelligence models of nanoscale MOSFETs.

Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, 2011

2010

IEICE Electron. Express, 2010

IEICE Electron. Express, 2010

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Proceedings of the American Control Conference, 2010

2007

Unit Commitment Using Particle Swarm-Based-Simulated Annealing Optimization Approach.

Proceedings of the 2007 IEEE Swarm Intelligence Symposium, 2007