Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification

2020 ◽  
pp. 77-92
Author(s):  
Jonathan Julián Huerta y Munive
Keyword(s):  
Program Verification ◽  
Affine Systems ◽  
Systems Of Odes ◽  
Hybrid Program

Reachability of Affine Systems on Polytopes

2010 ◽  
Vol 35 (12) ◽  
pp. 1528-1533
Author(s):  
Min WU ◽  
Gang-Feng YAN ◽  
Zhi-Yun LIN
Keyword(s):  
Affine Systems

A User's Appraisal of an Automated Program Verification Aid

1975 ◽  
Author(s):  
Larry K. Whipple ◽  
Mark A. Pitts
Keyword(s):  
Program Verification

scholarly journals Robust Stabilization of Control Affine Systems with Homogeneous Functions

2020 ◽  
Vol 53 (2) ◽  
pp. 6311-6316
Author(s):  
Konstantin Zimenko ◽  
Andrey Polyakov ◽  
Denis Efimov
Keyword(s):  
Robust Stabilization ◽  
Affine Systems ◽  
Homogeneous Functions

scholarly journals Fixed-Time Control for a Class of Unknown Nonlinear Affine Systems and Its applications to a Lithography Machine

2020 ◽  
Vol 53 (2) ◽  
pp. 1702-1708
Author(s):  
Kehan Luo ◽  
Jianxiao Zou ◽  
Linghuan Kong ◽  
Wei He
Keyword(s):  
Fixed Time ◽  
Affine Systems ◽  
Time Control
Sign in / Sign up

Export Citation Format

Share Document