5200 search results - page 237 / 1040 » Symbolic models for control systems |
146
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
: The single wheel, gyroscopically stabilized robot - Gyrover, is a dynamically stable but statically unstable, underactuated system. In this paper, based on the dynamic model of t...
155
click to vote
ACSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper argues that Napoleon, a flexible, role-based access control (RBAC) modeling environment, is also a practical solution for enforcing business process control, or workflo...
127
Voted
HICSS
2009
IEEE
15 years 12 months ago
2009
IEEE
This paper addresses the problem of reactive power dispatch in a power system partitioned into several areas controlled by different transmission system operators. Previous resear...
155
click to vote
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
166
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...