elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] Text [+]

A hybrid modeling and verification paradigm for embedded control systems

Mosterman, P. J. und Biswas, G. und Sztipanovits, J. (1998) A hybrid modeling and verification paradigm for embedded control systems. Control Engineering Practice, 6, Seiten 511-521. ISSN 0967-0661.

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

Kurzfassung

Contemporary process control includes continuous and discrete components. At the lowest level, continuous PID controllers are used for actuation and control. At a higher level, supervisory control mechanisms are used to select appropriate control algorithms for the different modes of system operation to achieve optimal or near-optimal control. Modeling and analysis of such combined discrete and continuous components requires hybrid modeling techniques. This paper presents a hybrid modeling paradigm, and discusses its execution semantics, which are based on the principles of invariance of state and temporal evolution of state. The modeling and simulation methodology is used to analyze the control behavior of dynamic physical systems, and a model verification technique based on divergence of time demonstrates possible applications in design tasks.

Dokumentart:Zeitschriftenbeitrag
Zusätzliche Informationen: LIDO-Berichtsjahr=1999,
Titel:A hybrid modeling and verification paradigm for embedded control systems
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Mosterman, P. J.NICHT SPEZIFIZIERT
Biswas, G.Vanderbilt University, Nashville, TN
Sztipanovits, J.Vanderbilt University, Nashville, TN
Datum:1998
Erschienen in:Control Engineering Practice
Referierte Publikation:Ja
In ISI Web of Science:Ja
Band:6
Seitenbereich:Seiten 511-521
ISSN:0967-0661
Status:veröffentlicht
Stichwörter:Command and control systems, formal methods, hybrid systems, verification, compositional modeling
HGF - Forschungsbereich:Verkehr und Weltraum (alt)
HGF - Programm:Luftfahrt
HGF - Programmthema:Starrflügler
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L AR - Starrflüglerforschung
DLR - Teilgebiet (Projekt, Vorhaben):L - Flexibles Flugzeug (alt)
Standort: Oberpfaffenhofen
Institute & Einrichtungen:Institut für Robotik und Mechatronik > Robotersysteme
Hinterlegt von: elib DLR-Beauftragter
Hinterlegt am:13 Nov 2007
Letzte Änderung:06 Jan 2010 16:25

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.