Sciweavers

8658 search results - page 107 / 1732
» Models of Command and Control
Sort
View
119
Voted
HYBRID
2007
Springer
15 years 8 months ago
The Image Computation Problem in Hybrid Systems Model Checking
André Platzer, Edmund M. Clarke
85
Voted
HYBRID
2004
Springer
15 years 7 months ago
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints
Timothy J. Hickey, David K. Wittenberg
106
Voted
HYBRID
2004
Springer
15 years 7 months ago
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks
Patrick Lincoln, Ashish Tiwari
SACMAT
2003
ACM
15 years 7 months ago
Model driven security for process-oriented systems
David A. Basin, Jürgen Doser, Torsten Lodders...
KES
2000
Springer
15 years 6 months ago
The cerebellum as computed torque model
In this article we consider the cerebellum in the vertebrate motor control system. Analyzing the delays in this control loop as well as the complexity of the dynamics of the skelet...
P. Patrick van der Smagt, Gerd Hirzinger