Hengjun Zhao
- Learning Safe Neural Network Controllers with Barrier Certificates
2020/09/18 by Hengjun Zhao, Xia Zeng, Zhao, Hengjun +7 · 7 citations
Computer Science · Engineering · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Systems and Control (eess.SY) #electronic engineering #information engineering
- Computing Semi-algebraic Invariants for Polynomial Dynamical Systems
2011/02/03 by Jiang Liu, Liu, Jiang, Naijun Zhan +3 · 3 citations
Computer Science · #D.2.4 #FOS: Computer and information sciences #Formal Methods in Verification #I.1.2 #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Symbolic Computation (cs.SC)
- Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems
2011/03/17 by Jiang Liu, Liu, Jiang, Naijun Zhan +3 · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #Control and Stability of Dynamical Systems #Dynamical Systems (math.DS) #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Abstraction of Elementary Hybrid Systems by Variable Transformation
2014/03/27 by Jiang Liu, Liu, Jiang, Naijun Zhan +5 · 1 citation
Computer Science · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering