Constructing invariants for hybrid systems Conference Proceeding

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• March 25, 2004

Full Author List

• Sankaranarayanan S; Sipma HB; Manna Z

published in

• Lecture Notes in Artificial Intelligence  Journal

Additional Document Info

start page

• 539

end page

• 554

volume

• 2993