3565 search results - page 63 / 713 » Modeling a system controller for timing analysis |
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
TSMC
2008
14 years 11 months ago
2008
Abstract--This paper presents a work domain analysis of damage control on the Canadian Halifax Class frigate. Our analysis made use of the modeling construct of object worlds to he...
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
CAISE
2009
Springer
15 years 6 months ago
2009
Springer
Evaluating the complexity of business processes during the early stages of their development, primarily during the process modelling phase, provides organizations and stakeholder w...
111
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...