SearchPublisher and Institutes
You are here: Home :: Keyword index :: gen bis Hyd :: hybrid design - Hydrolysis 
hybrid systems
Items for "hybrid systems"
Rapid Control Prototyping of Petri Net Based Controllers with the Tool NETLAB
This paper presents the rapid prototyping process for discrete event controllers. The hybrid Petri-Net-State-Model, which is based on Place/Transition nets, is used during the system design phase...
Keywords: rapid contol prototyping (RCP), model based control design, hybrid systems, Petri-net-state-model, Petri net
05/2006 | at – Automatisierungstechnik, Oldenbourg WissenschaftsverlagDiagnosis of Discretely Controlled Continuous Systems
The papers presents five diagnostic methods for discretely controlled continuous systems, which differ with respect to the model and measurement information used...
Keywords: hybrid systems, fault diagnosis, model abstraction, completeness, embedded map
08/2006 | at – Automatisierungstechnik, Oldenbourg WissenschaftsverlagAlgorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata
A rigorous modeling of discretely controlled processes requires to account for the abrupt change of dynamics when a process event (typically a limit switch) triggers a discrete control action...
Keywords: model abstraction, discrete event control, hybrid systems, controller synthesis, switched dynamics
09/2006 | at – Automatisierungstechnik, Oldenbourg WissenschaftsverlagInclusion of Signal Analysis in a Hybrid Medical Decision Support System
OBJECTIVES: Signal analysis has played an important role in cardiac diagnosis, both as a separate entity and in conjunction with clinical parameters...
Keywords: hybrid systems, electroencephalograms, chaos theory, medical decision support
01/2004 | Methods of Information in Medicine, SchattauerSFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems
The Transregional Collaborative Research Center AVACS integrates the three sites Freiburg, Oldenburg, and Saarbrücken, and addresses the challenge of pushing the borderline for automatic verification and analysis of complex systems...
Keywords: formal methods, computer aided verification, temporal logic, hybrid systems, real-time systems
02/2007 | it – Information Technology (vormals it+ti), Oldenbourg WissenschaftsverlagAlgorithmic and Abstraction-Based Design of Discrete Controllers for Hybrid Automata
A rigorous modeling of discretely controlled processes requires to account for the abrupt change of dynamics when a process event (typically a limit switch) triggers a discrete control action...
Keywords: model abstraction, discrete event control, hybrid systems, controller synthesis, switched dynamics
09/2012 | at – Automatisierungstechnik, Oldenbourg Wissenschaftsverlag