Sciweavers

289 search results - page 7 / 58
» Compositional analysis for linear control systems
Sort
View
BPM
2000
Springer
133views Business» more  BPM 2000»
13 years 11 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst
SIAMCO
2008
88views more  SIAMCO 2008»
13 years 7 months ago
On Local Transverse Feedback Linearization
Given a control-affine system and a controlled invariant submanifold, we present necessary and sufficient conditions for local feedback equivalence to a system whose dynamics tran...
Christopher Nielsen, Manfredi Maggiore
AUTOMATICA
2002
100views more  AUTOMATICA 2002»
13 years 7 months ago
An analysis and design method for linear systems subject to actuator saturation and disturbance
We present a method for estimating the domain of attraction of the origin for a system under a saturated linear feedback. A simple condition is derived in terms of an auxiliary fe...
Tingshu Hu, Zongli Lin, Ben M. Chen
DSN
2009
IEEE
14 years 2 months ago
System safety as an emergent property in composite systems
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...
Jennifer Black, Philip Koopman
DIAGRAMS
2006
Springer
13 years 11 months ago
Canonical Correlation Analysis: Use of Composite Heliographs for Representing Multiple Patterns
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...
Asaf Degani, Michael G. Shafto, Leonard Olson