Constructing invariants for hybrid systems Journal Article

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• February 1, 2008

Full Author List

• Sankaranarayanan S; Sipma HB; Manna Z

published in

• Formal Methods in System Design  Journal

Other Profiles

Digital Object Identifier (DOI)

• 10.1007/s10703-007-0046-1

Additional Document Info

start page

• 25

end page

• 55

volume

• 32

issue

• 1