goto contents

Elke Tetzner

Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP

Universität Rostock, 2008

Abstract: The dissertation includes the languages MODEL-HS and VYSMO for modular, declarative description of hybrid systems that serve the proof of time- and safety-critical properties for symbolic simulation in CLP. For coming to language-theoretical conclusions like decidability hybrid systems are newly defined under acceptance conditions that can be formally proved and for which practical examples bear witness. A new classification of hybrid systems, a tool ROSSY, query descriptions and their transformation into temporal-logic expressions, query forms and applications for study systems and parallel programs are further results.

doctoral thesis   free access    


OPACGVKDataCite Commons


all rights reserved

This work may only be used under the terms of the German Copyright Law (Urheberrechtsgesetz).