E-LIB Suche - Ergebnisse für: Zamani, Majid

1

Correct-by-Construction Controller Synthesis for Safety-Cri..:

Gaßmann, Victor , 2024

Link: https://nbn-resolving.or..

2

Verification of Hyperproperties for Dynamical Systems via B..:

Anand, Mahathi ; Murali, Vishnu ; Trivedi, Ashutosh.
IEEE Transactions on Automatic Control. , 2024

Link: https://doi.org/10.1109/..

3

Editorial:

Cai, Kai ; Prandini, Maria ; Yin, Xiang.
Nonlinear Analysis: Hybrid Systems. 52 (2024) - p. 101462 , 2024

Link: https://doi.org/10.1016/..

4

Data-Driven Controller Synthesis via Co-Büchi Barrier Certi..:

Ajeleye, Daniel ; Zamani, Majid
IEEE Control Systems Letters. 8 (2024) - p. 958-963 , 2024

Link: https://doi.org/10.1109/..

5

Hardware Efficient Speech Enhancement With Noise Aware Mult..:

Abdullah, Salinna ; Zamani, Majid ; Demosthenous, Andreas
IEEE Open Journal of Circuits and Systems. 5 (2024) - p. 141-152 , 2024

Link: https://doi.org/10.1109/..

6

Closure Certificates:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,

Murali, Vishnu ; Trivedi, Ashutosh ; Zamani, Majid - p. 1-11 , 2024

Link: https://dl.acm.org/doi/1..

7

Formal Synthesis of Controllers for Uncertain Linear System..:

Zhong, Bingzhuo ; Zamani, Majid ; Caccamo, Marco
IEEE Transactions on Automatic Control. 69 (2024) 1 - p. 214-229 , 2024

Link: https://doi.org/10.1109/..

8

Compositional Verification for Large-Scale Systems via Clos..:

Galarza-Jimenez, Felipe ; Murali, Vishnu ; Zamani, Majid
IEEE Control Systems Letters. , 2024

Link: https://doi.org/10.1109/..

9

Data-driven verification and synthesis of stochastic system..:

Salamati, Ali ; Lavaei, Abolfazl ; Soudjani, Sadegh.
Automatica. 159 (2024) - p. 111323 , 2024

Link: https://doi.org/10.1016/..

10

Decntr: Optimizing Safety and Schedulability with Multi-Mod..:

, In: 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS),

Gifford, Robert ; Galarza-Jimenez, Felipe ; Xuan Phan, Linh Thi. - p. 306-319 , 2024

Link: https://doi.org/10.1109/..

11

Compositional synthesis of control barrier certificates for..:

Anand, Mahathi ; Lavaei, Abolfazl ; Zamani, Majid
Nonlinear Analysis: Hybrid Systems. 51 (2024) - p. 101427 , 2024

Link: https://doi.org/10.1016/..

12

Formal Verification and Control of Stochastic Hybrid System..:

Nejati, Ameneh , 2023

Link: http://nbn-resolving.de/..

13

Machine learning and data-driven techniques for verificatio..:

Salamati, Ali , 2023

Link: https://nbn-resolving.de..

14

Formal Methods for Sandboxing Controllers in Cyber-Physical..:

Zhong, Bingzhuo , 2023

Link: http://nbn-resolving.de/..

15

Formal analysis of control systems via inductive approaches

tackling scalability, conservatism, and complex specificati...

Anand, Mahathi , 2023

Link: https://nbn-resolving.de..