Sciweavers

2800 search results - page 5 / 560
» Fibrational Control Structures
Sort
View
HICSS
1999
IEEE
91views Biometrics» more  HICSS 1999»
13 years 11 months ago
The Causal Relationships among EDI Controls: A Structural Equation Model
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...
Sangjae Lee, Ingoo Han
SAS
2012
Springer
226views Formal Methods» more  SAS 2012»
11 years 10 months ago
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
Jan Midtgaard, Michael D. Adams 0001, Matthew Migh...
CDC
2009
IEEE
140views Control Systems» more  CDC 2009»
14 years 6 days ago
Formation control of unicycle mobile robots: a virtual structure approach
— In this paper, the formation control problem for unicycle mobile robots is studied. A virtual structure control strategy with mutual coupling between the robots is proposed.
Thijs H. A. van den Broek, Nathan van de Wouw, Hen...
CDC
2009
IEEE
124views Control Systems» more  CDC 2009»
13 years 5 months ago
A graph-theoretic approach to distributed control over networks
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...
John Swigart, Sanjay Lall
TCSV
2010
13 years 2 months ago
Efficient Bit Allocation and Rate Control Algorithms for Hierarchical Video Coding
Hierarchical structure is a useful tool for providing the necessary scalability in adapting to the variety of channel environments. For schemes involving hierarchical picture struc...
Chan-Won Seo, Jung Won Kang, Jong-Ki Han, Truong Q...