Sciweavers

50 search results - page 2 / 10
» The Concept of Deadlock and Livelock in Hybrid Control Syste...
Sort
View
IHIS
2005
ACM
13 years 11 months ago
Verifying web services composition based on hierarchical colored petri nets
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
Yanping Yang, QingPing Tan, Yong Xiao
HYBRID
2005
Springer
13 years 11 months ago
Bisimulation for General Stochastic Hybrid Systems
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...
Manuela L. Bujorianu, John Lygeros, Marius C. Bujo...
ENTCS
2002
120views more  ENTCS 2002»
13 years 5 months ago
Composition of Distributed Software with Algon - Concepts and Possibilities
The perceived advantages of distributed systems, such as increased reliability and availability, are o set by the increased complexity of developing such applications. The develop...
Judith Bishop, Karen Renaud, Basil Worrall
CDC
2010
IEEE
124views Control Systems» more  CDC 2010»
13 years 18 days ago
Hybrid control for navigation of shape-accelerated underactuated balancing systems
This paper presents a hybrid control strategy for navigation of shape-accelerated underactuated balancing systems with dynamic constraints. It extends the concept of sequential com...
Umashankar Nagarajan, George Kantor, Ralph L. Holl...
HYBRID
2004
Springer
13 years 11 months ago
Observability of Switched Linear Systems
The observability of deterministic, discrete-time, switched, linear systems is considered. Depending on whether or not the modes are observed, and on whether the continuous state o...
Mohamed Babaali, Magnus Egerstedt