Mahathi Anand

1. From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
   2021/01/18 by Mahathi Anand, Anand, Mahathi, Abolfazl Lavaei +3 · 3 citations
   Computer Science · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Radiation Effects in Electronics #Semiconductor materials and devices #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications
   2021/03/03 by Mahathi Anand, Anand, Mahathi, Abolfazl Lavaei +3 · 1 citation
   Computer Science · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Petri Nets in System Modeling #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering