5200 search results - page 4 / 1040 » Symbolic models for control systems |
FM
1999
Springer
14 years 26 days ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
ATAL
2004
Springer
14 years 10 days ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
Role based access control (RBAC) is a widely used access control paradigm. In large organizations, the RBAC policy is managed by multiple administrators. An administrative role ba...
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
ARTS
1999
Springer
14 years 27 days ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...