Sciweavers

3565 search results - page 241 / 713
» Modeling a system controller for timing analysis
Sort
View
CDC
2009
IEEE
128views Control Systems» more  CDC 2009»
15 years 7 months ago
2D bipedal walking with knees and feet: A hybrid control approach
— In this paper, we consider an anthropomorphically-inspired hybrid model of a bipedal robot with locking knees and feet in order to develop a control law that results in human-l...
Ryan W. Sinnet, Aaron D. Ames
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 8 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel
TEC
2002
183views more  TEC 2002»
15 years 3 months ago
The particle swarm - explosion, stability, and convergence in a multidimensional complex space
Abstract--The particle swarm is an algorithm for finding optimal regions of complex search spaces through the interaction of individuals in a population of particles. Even though t...
Maurice Clerc, James Kennedy
INFOCOM
1996
IEEE
15 years 8 months ago
Integrated Control of Connection Admission, Flow Rate, and Bandwidth for ATM Based Networks
: We consider the combined control problem of connection admission, flow rate, and bandwidth allocation (capacity, service-rate) under nonstationary conditions. A fluid flow model ...
Andreas Pitsillides, Petros A. Ioannou, David Tipp...
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
15 years 6 months ago
Computation Tree Regular Logic for Genetic Regulatory Networks
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, H...