A Simulation Approach to Predicate the Reliability of a Pervasive Software System

Khaled, Osama M.; Hosny, Hoda M.; Shalan, Mohamed

doi:10.5121/csit.2018.80505

Cited by 1 publication

(2 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The computation of the abstract systems S * ( Σ) (cd. Subsection 6.2) and the symbolic controllers have been implemented by the software tool SENSE [KZ16].…”

Section: Examplementioning

confidence: 99%

“…Figure 8 shows the closed loop simulation results in OMNeT++. We make use of the animation capabilities of OMNeT++ to visualize both packet transfers over the network as well as the movement of the robot through the state set as illustrated in [KZ16]. Controller synthesis and refinement for the vehicle dynamic in (8.1), for a configuration of network delays, and for an LTL specification are provided in [KZ16].…”

Section: Examplementioning

confidence: 99%

See 1 more Smart Citation

Symbolic Abstractions of Networked Control Systems

Mazo

Khaled

Abate

2018

IEEE Trans. Control Netw. Syst.

View full text Add to dashboard Cite

Abstract. The last decade has witnessed significant attention on networked control systems (NCS) due to their ubiquitous presence in industrial applications, and, in the particular case of wireless NCS, because of their architectural flexibility and low installation and maintenance costs. In wireless NCS the communication between sensors, controllers, and actuators is supported by a communication channel that is likely to introduce variable communication delays, packet losses, limited bandwidth, and other practical non-idealities leading to numerous technical challenges. Although stability properties of NCS have been investigated extensively in the literature, results for NCS under more complex and general objectives, and in particular results dealing with verification or controller synthesis for logical specifications, are much more limited. This work investigates how to address such complex objectives by constructively deriving symbolic models of NCS, while encompassing the mentioned network non-idealities. The obtained abstracted (symbolic) models can then be employed to synthesize hybrid controllers enforcing rich logical specifications over the concrete NCS models. Examples of such general specifications include properties expressed as formulae in linear temporal logic (LTL) or as automata on infinite strings. We thus provide a general synthesis framework that can be flexibly adapted to a number of NCS setups. We illustrate the effectiveness of the results over some case studies.

show abstract

“…The computation of the abstract systems S * ( Σ) (cd. Subsection 6.2) and the symbolic controllers have been implemented by the software tool SENSE [KZ16].…”

Section: Examplementioning

confidence: 99%

Section: Examplementioning

confidence: 99%