1655 search results - page 13 / 331 » State, Event, Time and Diagram in System Modeling |
ECBS
2007
IEEE
13 years 11 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
SIGMETRICS
2000
ACM
13 years 12 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
VOSS
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...
AUTOMATICA
2008
13 years 7 months ago
2008
This paper addresses a supervisory control problem for uncertain timed discrete event systems (DESs) under partial observation. An uncertain timed DES to be controlled is represen...