Peter Nazier Mosaad

dblp:165/2365 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
1since 2021 · last 2021
0000-0002-3629-4907ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 3
YearPublicationVenuePosition
2021 Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control
abstract
Abstract The possible interactions between a controller and its environment can naturally be modelled as the arena of a two-player game, and adding an appropriate winning condition permits to specify desirable behavior. The classical model here is the positional game, where both players can (fully or partially) observe the current position in the game graph, which in turn is indicative of their mutual current states. In practice, neither sensing and actuating the environment through physical devices nor data forwarding to and from the controller and signal processing in the controller are instantaneous. The resultant delays force the controller to draw decisions before being aware of the recent history of a play and to submit these decisions well before they can take effect asynchronously. It is known that existence of a winning strategy for the controller in games with such delays is decidable over finite game graphs and with respect to $$\omega $$ ω -regular objectives. The underlying reduction, however, is impractical for non-trivial delays as it incurs a blow-up of the game graph which is exponential in the magnitude of the delay. For safety objectives, we propose a more practical incremental algorithm successively synthesizing a series of controllers handling increasing delays and reducing the game-graph size in between. It is demonstrated using benchmark examples that even a simplistic explicit-state implementation of this algorithm outperforms state-of-the-art symbolic synthesis algorithms as soon as non-trivial delays have to be handled. We furthermore address the practically relevant cases of non-order-preserving delays and bounded message loss, as arising in actual networked control, thereby considerably extending the scope of regular game theory under delay.
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
Acta Informatica4
2018 What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
ATVA4
2016 Validated Simulation-Based Verification of Delayed Differential Dynamics
Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
FM4
2016 Temporal Logic Verification for Delay Differential Equations
Peter Nazier Mosaad, Martin Fränzle, Bai Xue 0001
ICTAC1
2015 Automatic Verification of Stability and Safety for Delay Differential Equations
Liang Zou, Martin Fränzle, Naijun Zhan, Peter Nazier Mosaad
CAV (2)4