Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems Taylor T. Johnson∗ University of Texas at Arlington, Arlington, TX 76010, USA

First Page		Document Content
Date: 2013-08-02 07:12:08		Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems with Applications to Aerospace Systems Taylor T. Johnson∗ University of Texas at Arlington, Arlington, TX 76010, USA Add to Reading List Source URL: www.taylortjohnson.com Download Document from Source Website File Size: 594,53 KB Share Document on Facebook