Sciweavers

15840 search results - page 744 / 3168
» The Control of Synchronous Systems
Sort
View
HYBRID
2007
Springer
16 years 1 months ago
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, ...
RSP
2006
IEEE
16 years 1 months ago
System-on-Chip Design Methodology for a Statistical Coder
Thinh M. Le, X. H. Tian, B. L. Ho, J. Nankoo, Yong...
188
Voted
HYBRID
1999
Springer
15 years 11 months ago
Scale-Independent Hysteresis Switching
— In this paper we prove that a switched nonlinear system has several useful ISS-type properties under average dwell-time switching signals if each constituent dynamical system i...
João P. Hespanha, A. Stephen Morse
AGTIVE
2007
Springer
16 years 1 months ago
Programmed Graph Rewriting with DEVS
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
Eugene Syriani, Hans Vangheluwe
HOLOMAS
2003
Springer
16 years 21 days ago
Integration of Automation Resources in Holonic Manufacturing Applications
Holonic and agent-based paradigms are very suitable in the development of distributed manufacturing control systems, taking advantage of their modularity, decentralization, and abi...
Paulo Leitão, Raymond Boissier, Francisco C...