Nejati, Ameneh

1. Compositional Construction of Control Barrier Certificates for\n Large-Scale Stochastic Switched Systems
   2020/05/04 by Ameneh Nejati, Sadegh Soudjani, Nejati, Ameneh +3 · 2 citations
   Business, Management and Accounting · Computer Science · Engineering · #FOS: Electrical engineering #Flexible and Reconfigurable Manufacturing Systems #Petri Nets in System Modeling #Product Development and Customization #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach
   2020/05/05 by Nejati, Ameneh, Zamani, Majid · 1 citation
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
3. From Dissipativity Theory to Compositional Construction of Control Barrier Certificates
   2022/12/07 by Nejati, Ameneh, Zamani, Majid · 1 citation
   #Compositional barrier certificates #Computer systems organization → Embedded and cyber-physical systems #Dissipativity theory #Formal controller synthesis #Large-scale networks #Mathematics of computing → Stochastic processes #Stochastic hybrid systems #Theory of computation → Timed and hybrid models