Dr. Majid Z***

Control Theory Systems Theory Control Systems Nonlinear Dynamics Control Applications Program Verification Stochastic Processes Control Systems Electronic Robotics Safe AI Trustworthy AI Game Framework Poster Abstract Unit Commitment Barrier Certificates Hierarchical Control Efficient Hvac Controls Arch-Comp20 Category Report Data-Driven Safety Verification Data-Driven Controller Synthesis Synthesis of Symbolic Controllers Automotive Systems Medical Devices Verification of Approximate Opacity Compositional Synthesis of Controllers Closure Certificates Nonlinear Analysis Compositional Approach Nonlinear Analysis Verification of Approximate Prognosability Compositional Construction of Abstractions Secure-by-Construction Controller Synthesis Set Stability of Infinite Networks