Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems
doi 10.2514/6.2013-4811
Full Text
Open PDFAbstract
Available in full text
Date
August 15, 2013
Authors
Publisher
American Institute of Aeronautics and Astronautics