Sciweavers

4688 search results - page 111 / 938
» Dynamics of Control
Sort
View
132
Voted
ICFEM
2007
Springer
15 years 8 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 7 months ago
Input-to-state dynamical stability of interconnected systems
Abstract— We consider networks of input-to-state dynamically stable (ISDS) systems and provide a small gain condition under which the entire network is again ISDS. A Lyapunov for...
Sergey Dashkovskiy, Lars Naujok
117
Voted
ICRA
2009
IEEE
128views Robotics» more  ICRA 2009»
15 years 9 months ago
Stable dynamic walking of a quadruped via phase modulations against small disturbances
— It is generally accepted that locomotion in animals is based on a trade-off between energy consumption and stability. However, this trade-off is the result of the interaction b...
Christophe Maufroy, Hiroshi Kimura, Kunikatsu Taka...
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
15 years 6 months ago
Extended nonlinear observable canonical form for multi-output dynamical systems
— In this paper, we give sufficient conditions which guarantee the existence of a diffeomorphism in an extended state space that allows to transform a multi-output nonlinear dyn...
Driss Boutat, Krishna Busawon
104
Voted
ICFP
2007
ACM
16 years 2 months ago
Functional pearl: the great escape or, how to jump the border without getting caught
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
David Herman