2624 search results - page 329 / 525 » The 2LIP model and its implementations |
AAIM
2007
Springer
14 years 2 months ago
2007
Springer
PI controller has attracted researchers in industrial control processes because of its simplicity and robust performance in a wide range of operating conditions. It has been used t...
ASYNC
2007
IEEE
14 years 2 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...
ICAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Search spammers use questionable search engine optimization techniques to promote their spam links into top search results. Large-scale spammers target commerce queries that they ...