We consider concurrent games played on graphs. At every round of the game, each player simultaneously and independently selects a move; the moves jointly determine the transition to a successor state. Two basic objectives are the safety objective: “stay forever in a set F of states”, and its dual, the reachability objective, “reach a set R of states”. We present in this paper a strategy improve...

Considerable safety benefits are achieved by robustly decoupling the lateral and yaw motions of a car with active steering. Robust unilateral decoupling requires an actuator to generate an additional front wheel steering angle. However, introducing actuators to closed loop systems may cause limit cycles due to actuator saturation and rate limits. Such limit cycles are intolerable w.r.t. safety ...

Abstract Treasury securities enjoy a “money premium” because they are ultra‐safe and liquid. However, during debt limit impasses, the safety liquidity of temporarily deteriorate, eroding money premium. Using past we find premium eroded by roughly six basis points across all up to 50 for shortest maturities at greatest risk delayed principal payment. Safety each accounted about half erosion. The...

Liquefied natural gas (LNG) is an increasingly popular fuel alternative of ships for reducing greenhouse emissions. The interest in LNG propulsion systems rapidly growing, yet certain important safety design and engineering issues remain poorly constrained. LNG-fuelled must be assessed terms the potential structural damage owing to collision accidents resulting spills, especially ship types tha...

The Parliamentary Road Safety Committee, in its Inquiry into Safety at Røilway Level Crossings Safety in 2009, suggested infrasf ucture treatments including perceptual countermeasures, enforcsment camoras, variable speed limits, improved lighting and Yellow Box Markings. The Victorian Railway I-evel Crossing Safety Steering Committee has identified possible countermeasures, including rumble str...