Formal Verification of Stability Properties of Cyber-physical Systems Matthew Chan, Daniel Ricketts, Sorin Lerner, Gregory Malecha University of California, San Diego , , - Physical verification - Document - PDFSEARCH.IO

First Page	Meta Content
	Formal Verification of Stability Properties of Cyber-physical Systems Matthew Chan, Daniel Ricketts, Sorin Lerner, Gregory Malecha University of California, San Diego , , Add to Reading List Document Date: 2016-10-03 11:54:14 Open Document File Size: 181,35 KB Share Result on Facebook

Formal Verification of Stability Properties of Cyber-physical Systems Matthew Chan, Daniel Ricketts, Sorin Lerner, Gregory Malecha University of California, San Diego , , Add to Reading List