Sciweavers

573 search results - page 51 / 115
» Evolutionary functional testing of continuous control system...
Sort
View
HYBRID
2004
Springer
15 years 3 months ago
Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
Alexandre M. Bayen, Robin L. Raffard, Claire Tomli...
EUROSYS
2008
ACM
15 years 6 months ago
Manageable fine-grained information flow
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
Petros Efstathopoulos, Eddie Kohler
AUTOMATICA
2007
154views more  AUTOMATICA 2007»
14 years 9 months ago
A globally stable saturated desired compensation adaptive robust control for linear motor systems with comparative experiments
The recently proposed saturated adaptive robust controller is integrated with desired trajectory compensation to achieve global stability with9 much improved tracking performance....
Yun Hong, Bin Yao
AIIA
1995
Springer
15 years 1 months ago
Evolving non-Trivial Behaviors on Real Robots: an Autonomous Robot that Picks up Objects
Recently, a new approach that involves a form of simulated evolution has been proposed for the building of autonomous robots. However, it is still not clear if this approach may b...
Stefano Nolfi, Domenico Parisi
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 3 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha