Sciweavers

13717 search results - page 278 / 2744
» Control Systems
Sort
View
111
Voted
CAISE
2006
Springer
15 years 7 months ago
Data-Driven Process Control and Exception Handling in Process Management Systems
Abstract. Business processes are often characterized by high variability and dynamics, which cannot be always captured in contemporary process management systems (PMS). Adaptive PM...
Stefanie Rinderle, Manfred Reichert
CP
2007
Springer
15 years 10 months ago
Solving the Salinity Control Problem in a Potable Water System
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
Chiu Wo Choi, Jimmy Ho-Man Lee
DFG
2004
Springer
15 years 9 months ago
Executable HybridUML and Its Application to Train Control Systems
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
Kirsten Berkenkötter, Stefan Bisanz, Ulrich H...
DSN
2000
IEEE
15 years 8 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
AH
2000
Springer
15 years 8 months ago
Adaptation Control in Adaptive Hypermedia Systems
A hypermedia application offers its users a lot of freedom to navigate through a large hyperspace, described by a domain model. Adaptive hypermedia systems (AHS) aim at overcoming ...
Hongjing Wu, Paul De Bra, A. T. M. Aerts, Geert-Ja...