Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleConstructing invariants for hybrid systems.
Author(s) Zohar Manna, Sriram Sankaranarayanan, Henny B. Sipma
TypeArticle in Journal
AbstractWe present a new method for generating algebraic invariants of hybrid systems. The method reduces the invariant generation problem to a constraint solving problem using techniques from the theory of ideals over polynomial rings. Starting with a template invariant—a polynomial equality over the system variables with unknown coefficients—constraints are generated on the coefficients guaranteeing that the solutions are inductive invariants. To control the complexity of the constraint solving, several stronger conditions that imply inductiveness are proposed, thus allowing a trade-off between the complexity of the invariant generation process and the strength of the resulting invariants.
KeywordsHybrid systems, Analysis, Verification
ISSN0925-9856; 1572-8102/e
URL http://link.springer.com/article/10.1007%2Fs10703-007-0046-1
LanguageEnglish
JournalForm. Methods Syst. Des.
Volume32
Number1
Pages25--55
PublisherSpringer US, New York, NY
Year2008
Edition0
Translation No
Refereed No
Webmaster