1655 search results - page 200 / 331 » State, Event, Time and Diagram in System Modeling |
162
click to vote
LR
2011
14 years 9 months ago
2011
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...
140
click to vote
WSC
2004
15 years 7 months ago
2004
This paper describes a modular autonomous material handling equipment solution for flexible automation. Discrete Event Simulation is in this case used as a tool for shortening tim...
173
click to vote
RTAS
2005
IEEE
15 years 12 months ago
2005
IEEE
— Denial-of-service attacks are becoming more frequent and sophisticated. Researchers have proposed a variety of defenses, including better system configurations, infrastructure...
179
click to vote
ICRA
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract— In this work, we study the inconsistency of EKFbased SLAM from the perspective of observability. We analytically prove that when the Jacobians of the state and measurem...
179
click to vote
BIRTHDAY
2010
Springer
15 years 11 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...