1297 search results - page 30 / 260 » Control of systems integrating logic, dynamics, and constrai... |
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
The concept of virtual holonomic constraints is extended to the case of double support, which is characterized by a closed kinematic chain and redundancy in the state variables. An...
115
click to vote
FMOODS
2000
15 years 2 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
107
click to vote
FLAIRS
2008
15 years 3 months ago
2008
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
104
click to vote
JAR
2008
15 years 1 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
105
click to vote
TAP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...