Majid Zamani

According to our database1, Majid Zamani authored at least 154 papers between 2007 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
On Approximate Opacity of Cyber-Physical Systems.
IEEE Trans. Autom. Control., 2021

Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.
Eur. J. Control, 2021

Symbolic Models for a Class of Impulsive Systems.
IEEE Control. Syst. Lett., 2021

Verification of Approximate Opacity via Barrier Certificates.
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

Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey.
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
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart.
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

Output-Feedback Symbolic Control.
CoRR, 2020

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

Data-Driven Verification under Signal Temporal Logic Constraints.
CoRR, 2020

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

Numerical Estimation of Invariance Entropy for Nonlinear Control Systems.
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

Approximate abstractions of control systems with an application to aggregation.
Autom., 2020

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

Symbolic models for retarded jump-diffusion systems.
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

dtControl: decision tree learning algorithms for controller representation.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks.
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

Construction of continuous abstractions for discrete-time time-delay systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Compositional Verification of Initial-State Opacity for Switched Systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes.
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

On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems.
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

Compositional Synthesis of Symbolic Models for Networks of Switched Systems.
IEEE Control. Syst. Lett., 2019

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

Formal Synthesis of Stochastic Systems via Control Barrier Certificates.
CoRR, 2019

On Approximate Opacity of Cyber-Physical Systems.
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

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Towards approximate opacity of cyber-physical system: WIP abstract.
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

pFaces: an acceleration ecosystem for symbolic control.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Sandboxing Controllers for Stochastic Cyber-Physical Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Compositional Abstractions of Interconnected Discrete-Time Switched Systems.
Proceedings of the 17th European Control Conference, 2019

Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems.
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

Verification of Switched Stochastic Systems via Barrier Certificates.
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

Compositional synthesis of almost maximally permissible safety controllers.
Proceedings of the 2019 American Control Conference, 2019

2018
Symbolic Abstractions of Networked Control Systems.
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

SENSE: Abstraction-Based Synthesis of Networked Control Systems.
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

Accurate reachability analysis of uncertain nonlinear systems.
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.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Constructing Control System Abstractions from Modular Components.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

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

Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.
Proceedings of the Automated Technology for Verification and Analysis, 2018

Hierarchical Control via an Approximate Aggregate Manifold.
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
Approximations of Stochastic Hybrid Systems: A Compositional Approach.
IEEE Trans. Autom. Control., 2017

Towards scalable synthesis of stochastic control systems.
Discret. Event Dyn. Syst., 2017

Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).
Dagstuhl Reports, 2017

Quantitative Implementation Strategies for Safety Controllers.
CoRR, 2017

From dissipativity theory to compositional synthesis of symbolic models.
CoRR, 2017

Invariance Feedback Entropy of Uncertain Control Systems.
CoRR, 2017

Automated Synthesis of Infinite Dimensional Stochastic Hybrid Systems.
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

Invariance Feedback Entropy of Nondeterministic Control Systems.
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

On the invariance feedback entropy of linear perturbed control systems.
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
SCOTS: A Tool for the Synthesis of Symbolic Controllers.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Efficient HVAC controls: A symbolic approach.
Proceedings of the 15th European Control Conference, 2016

Symbolic synthesis with average performance guarantees.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Backstepping design for incremental stability of stochastic Hamiltonian systems.
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

On incremental stability of time-delayed stochastic control systems.
Proceedings of the 54th Annual Allerton Conference on Communication, 2016

On a notion of estimation entropy for stochastic hybrid systems.
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

Power optimization of neural frontend interfaces.
Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

Compositional construction of approximate abstractions.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

A feature design framework for hardware efficient neural spike sorting.
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

Approximately bisimilar symbolic models for randomly switched stochastic systems.
Syst. Control. Lett., 2014

Symbolic Models for Networked Control Systems.
CoRR, 2014

Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles.
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

Finite abstractions of networked control systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Compositional approximations of interconnected stochastic hybrid systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Symbolic models for randomly switched stochastic systems.
Proceedings of the American Control Conference, 2014

2013
Backstepping controller synthesis and characterizations of incremental stability.
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

Analog-to-digital converters power dissipation limits of CBSC-based pipelined.
Proceedings of the 21st IEEE/IFIP International Conference on VLSI and System-on-Chip, 2013

Symbolic Control of Stochastic Switched Systems via Finite Abstractions.
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

Symbolic models for stochastic control systems without stability assumptions.
Proceedings of the 12th European Control Conference, 2013

Bisimilar finite abstractions of stochastic control systems.
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

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions.
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

Synthesis of minimal-error control software.
Proceedings of the 12th International Conference on Embedded Software, 2012

Approximately Bisimilar Symbolic Models for Digital Control Systems.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Backstepping Design for Incremental Stability.
IEEE Trans. Autom. Control., 2011

Coordinate-invariant incremental Lyapunov functions
CoRR, 2011

Performance comparison of artificial intelligence networks in nanoscale MOSFET modeling.
Proceedings of the Seventh International Conference on Natural Computation, 2011

Performance-aware scheduler synthesis for control systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

A Lyapunov approach in incremental stability.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A fourth-order, low-pass, MASH ΔΣ modulator with CBSC technique in 0.18μm CMOS.
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
A12b, 40-MS/s, 4.1mW fully differential CBSC pipelined ADC in 0.18µm CMOS.
IEICE Electron. Express, 2010

A10b, 20-MS/s, 2.6mW fully differential CBSC pipelined ADC in 0.18µm CMOS.
IEICE Electron. Express, 2010

Towards backstepping design for incremental stability.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Symbolic models for unstable nonlinear control systems.
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


  Loading...