elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

A hybrid modeling and verification paradigm for embedded control systems

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

Full text not available from this repository.

Abstract

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.

Item URL in elib:https://elib.dlr.de/3450/
Document Type:Article
Additional Information: LIDO-Berichtsjahr=1999,
Title:A hybrid modeling and verification paradigm for embedded control systems
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Mosterman, P. J.UNSPECIFIEDUNSPECIFIED
Biswas, G.Vanderbilt University, Nashville, TNUNSPECIFIED
Sztipanovits, J.Vanderbilt University, Nashville, TNUNSPECIFIED
Date:1998
Journal or Publication Title:Control Engineering Practice
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:Yes
Volume:6
Page Range:pp. 511-521
ISSN:0967-0661
Status:Published
Keywords:Command and control systems, formal methods, hybrid systems, verification, compositional modeling
HGF - Research field:Aeronautics, Space and Transport (old)
HGF - Program:Aeronautics
HGF - Program Themes:Aircraft Research (old)
DLR - Research area:Aeronautics
DLR - Program:L AR - Aircraft Research
DLR - Research theme (Project):L - Flexible Aircraft (old)
Location: Oberpfaffenhofen
Institutes and Institutions:Institute of Robotics and Mechatronics (until 2012) > Robotic Systems
Deposited By: DLR-Beauftragter, elib
Deposited On:13 Nov 2007
Last Modified:06 Jan 2010 16:25

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.