Model continuity in cyber-physical systems: A control-centered methodology based on agents

Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.

doi:10.1016/j.simpat.2017.12.008

Cited by 23 publications

(25 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The MAS architecture proposed in [33] includes the Gateway component, which has the task of managing the distributed data exchange, exploiting different protocols. In particular, it exposes to the agents the basic read-and-write operations needed to interact with physical devices or other remote cyber components, hiding all the details about the communication protocols used.…”

Section: Remote Transmission Protocolmentioning

confidence: 99%

A layered IoT-based architecture for a distributed structural health monitoring system System

et al. 2019

View full text Add to dashboard Cite

Structural health monitoring (SHM) is responsible for identifying techniques and for prototyping systems performing a state diagnosis of structures. Its aim is to prevent sudden civil infrastructure failure as a result of several invisible sources of damage. Since structural damage is often caused by ground phenomena involving circumscribed geographical areas, it is useful to extend SHM systems to allow for the exchange of information among nearby buildings and then to increase the timeliness of the alerts. To this end, in this article, an SHM based on the IoT paradigm is proposed (SHM-IoT). SHM-IoT carries out both localised monitoring on a single building, and it uses information collected by several sensors correlated in time, aiming to identify potentially dangerous damage. It also performs a wider monitoring on a group of buildings in order to alert a larger number of people. SHM-IoT also sends a remote notification, which is finalised in order to alert the authorities and rescuers about the status of each monitored building. In this context, synchronisation problems arise because the information collected by each sensor of the SHM-IoT needs to be correlated in time in order to be used for damage evaluation and alert generation. In this paper, the hardware and software architectures of the proposed SHM-IoT are presented together with the synchronisation requirements and the methods of satisfying them. Experiments are undertaken to validate the SHM-IoT in real scenarios.

show abstract

Section: Remote Transmission Protocolmentioning

confidence: 99%

A layered IoT-based architecture for a distributed structural health monitoring system System

et al. 2019

View full text Add to dashboard Cite

show abstract

“…As far as we know there is no formal semantics for the hybrid models of Ptolemy framework to enable formal verification. In [4] an agent-based and control centric methodology is presented for development of CPSs. This approach includes all development stages of a system from analysis by simulation to the execution of the final system.…”

Section: Related Workmentioning

confidence: 99%

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems

Jahandideh

Ghassemi

Sirjani

2019

Cyber Physical Systems. Model-Based Design

View full text Add to dashboard Cite

In cyber-physical systems like automotive systems, there are components like sensors, actuators, and controllers that communicate asynchronously with each other. The computational model of actor supports modeling distributed asynchronously communicating systems. We propose Hybrid Rebeca language to support modeling of cyber-physical systems. Hybrid Rebeca is an extension of actor-based language Rebeca. In this extension, physical actors are introduced as new computational entities to encapsulate physical behaviors. To support various means of communication among the entities, the network is explicitly modeled as a separate entity from actors. We derive hybrid automata as the basis for analysis of Hybrid Rebeca models. We demonstrate the applicability of our approach through a case study in the domain of automotive systems. We use SpaceEx framework for the analysis of the case study.

show abstract

“…Each actor hosts an input mailbox , where incoming messages are buffered, and an internal thread , which extracts, if there are any, one message at a time from the mailbox and processes it atomically. The same organization is adopted, for example, by the JADE MAS framework, 10,24 which does not guarantee a message delivery order nor has built-in support for time-sensitive applications.…”

Section: Modeling With Theatrementioning

confidence: 99%

“…T heatre can be customized to work with different timing models and programming styles for actors. For example, in Cicirelli and Nigro 9 and Cicirelli et al, 10 a single method handler(msg) is introduced into each actor. The handler receives the delivered message from the control machine, updates the actor local variables, sends new messages to known actors, and, possibly, creates new actors.…”

Section: Modeling With Theatrementioning

confidence: 99%

“…The original work described in this paper was stimulated by the desire to experiment with the CTLKC+ logic in the context of the T heatre actor framework, 8 which addresses all the development phases of a MAS lifecycle. 9,10 T heatre can be first used for formal modeling and analysis purposes. An analyzed model can then be moved, without distortions, to the phases of design and implementation, so as to ensure faightfulness 11 of a synthesis to the early modeling and property checking analysis phase.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Formal reasoning on knowledge and commitments in multi-agent systems using Theatre

Nigro

Sciammarella

2019

SIMULATION

Self Cite

View full text Add to dashboard Cite

This paper proposes a formal method based on the Theatre framework for modeling and analysis of knowledge and commitments in multi-agent systems (MASs). Theatre centers on actors and a reduction on to Uppaal, which enables both non-deterministic analysis (that is, qualitative analysis by exhaustive verification, or showing that something can possibly occur) and quantitative analysis (that is, estimating probability measures of event occurrence through simulations) of the same model. The article describes the modeling and analysis approach based on Theatre and Uppaal, and shows its application to the modeling and property checking of the NetBill protocol used in web-based MAS applications when selling/buying goods. Properties of the NetBill protocol are demonstrated by experimental results.

show abstract

Model continuity in cyber-physical systems: A control-centered methodology based on agents

Cited by 23 publications

References 20 publications

A layered IoT-based architecture for a distributed structural health monitoring system System

A layered IoT-based architecture for a distributed structural health monitoring system System

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems

Formal reasoning on knowledge and commitments in multi-agent systems using Theatre

Contact Info

Product

Resources

About