Using Implications for Optimizing State Set Representations of Linear Hybrid Systems

Florian Pigorsch, Christoph Scholl. Using Implications for Optimizing State Set Representations of Linear Hybrid Systems. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 77-86, Universit├Ątsbibliothek Berlin, Germany, 2009.

Abstract

Abstract is missing.