575 search results - page 45 / 115 » Controller Synthesis for Probabilistic Systems |
ARTS
1999
Springer
14 years 8 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...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper proposes a general modeling framework adapted to the feedback control of traffic flows in Eulerian models of the National Airspace System (NAS). It is shown that the pro...
VTS
1998
IEEE
14 years 7 days ago
1998
IEEE
A fast fault-tolerant controller structure is presented, which is capable of recovering from transient faults by performing a rollback operation in hardware. The proposed fault-to...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
FC
1997
Springer
13 years 11 months ago
1997
Springer
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...