Majid Zamani
According to our database1,
Majid Zamani
authored at least 154 papers
between 2007 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2021
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.
Eur. J. Control, 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
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
Verification of Initial-State Opacity for Switched Systems: A Compositional Approach.
CoRR, 2020
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach.
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
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 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
IEEE Trans. Autom. Control., 2019
IEEE Control. Syst. Lett., 2019
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations.
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
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.
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
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
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
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
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
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
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
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
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
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
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
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