Constructing invariants for hybrid systems Journal Article

• Best Open Access

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• February 1, 2008

has restriction

• green

Date in CU Experts

• December 8, 2013 10:02 AM

Full Author List

• Sankaranarayanan S; Sipma HB; Manna Z

author count

• 3

citation count

• 56

published in

• Formal Methods in System Design  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0925-9856

Electronic International Standard Serial Number (EISSN)

• 1572-8102

Digital Object Identifier (DOI)

• https://doi.org/10.1007/s10703-007-0046-1

Additional Document Info

start page

• 25

end page

• 55

volume

• 32

issue

• 1