( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach.

, , и . IEEE Trans. Autom. Control., 69 (1): 214-229 (января 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Majid Zamani

Rahim Zamani

Abbas Zamani

Mohammad Zamani

Sigrid Zamani

 

Другие публикации лиц с тем же именем

Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates., , и . IEEE Control. Syst. Lett., (2022)Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems., и . CoRR, (2020)dtControl: Decision Tree Learning Algorithms for Controller Representation., , , , , и . CoRR, (2020)Verification of Approximate Opacity via Barrier Certificates., и . ACC, стр. 764-769. IEEE, (2021)Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions., и . CDC, стр. 2574-2579. IEEE, (2019)Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations., , , и . CDC, стр. 7653-7658. IEEE, (2019)Construction of continuous abstractions for discrete-time time-delay systems., , , , и . CDC, стр. 881-886. IEEE, (2020)k-Inductive Barrier Certificates for Stochastic Systems., , , и . HSCC, стр. 12:1-12:11. ACM, (2022)Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case., , и . ECC, стр. 76-81. IEEE, (2018)Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case., , , и . ECC, стр. 1-4. IEEE, (2018)