Sciweavers

7778 search results - page 115 / 1556
» Designing Controllers for Reachability
Sort
View
RTSS
1998
IEEE
15 years 7 months ago
Membership Questions for Timed and Hybrid Automata
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan
BIOSYSTEMS
2008
69views more  BIOSYSTEMS 2008»
15 years 3 months ago
Investigations into the design principles in the chemotactic behavior of Escherichia coli
Inspired by the recent studies on the analysis of biased random walk behavior of Escherichia coli[Passino, K.M., 2002. Biomimicry of bacterial foraging for distributed optimizatio...
Tae-Hwan Kim, Sung Hoon Jung, Kwang-Hyun Cho
111
Voted
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 8 months ago
Controlling the phase of an oscillator: A phase response curve approach
— The paper discusses elementary control strategies to control the phase of an oscillator. Both feedforward and feedback (P and PI) control laws are designed based on the phase r...
Denis V. Efimov, Pierre Sacre, Rodolphe Sepulchre
INFOCOM
1997
IEEE
15 years 7 months ago
A Linear Control Approach to Explicit Rate Feedback in ATM Networks
Rate-based feedback congestion control has been proposed as a form of traffic management for available bit rate traffic in ATM networks. This paper discusses applying linear con...
Charles E. Rohrs, Randall A. Berry
CDC
2008
IEEE
142views Control Systems» more  CDC 2008»
15 years 10 months ago
A LPV approach to control and real-time scheduling codesign: Application to a robot-arm control
— This paper deals with real-time control under computational constraints. A robust control approach to control/real-time scheduling co-design is proposed using the H∞ framewor...
Olivier Sename, Daniel Simon, Mongi Ben Gaid