A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case

Author(s):  
Tibor Bosse ◽  
Alexei Sharpanskykh
2009 ◽  
Vol 4 (10) ◽  
Author(s):  
Alan A. Desrochers ◽  
Jose R. Celaya ◽  
Robert J. Graves

2021 ◽  
Vol 20 ◽  
pp. 103662
Author(s):  
Yaroslav Vyklyuk ◽  
Mykhailo Manylich ◽  
Miroslav Škoda ◽  
Milan M. Radovanović ◽  
Marko D. Petrović

SIMULATION ◽  
2019 ◽  
Vol 96 (2) ◽  
pp. 233-250 ◽  
Author(s):  
Christian Nigro ◽  
Libero Nigro ◽  
Paolo F Sciammarella

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.


Author(s):  
František Capkovic

An alternative approach to modeling and analysis of agents’ behaviour is presented in this chapter. The agents and agent systems are understood here to be discrete-event systems (DES). The approach is based on the place/transition Petri nets (P/T PN) that yield both the suitable graphical or mathematical description of DES and the applicable means for testing the DES properties as well as for the synthesis of the agents’ behaviour. The reachability graph (RG) of the P/T PN-based model of the agent system and the space of feasible states are found. The RG adjacency matrix helps to form an auxiliary hypermodel in the space of the feasible states. State trajectories representing the actual interaction processes among agents are computed by means of the mutual intersection of both the straight-lined reachability tree (developed from a given initial state toward a prescribed terminal one) and the backtracking reachability tree (developed from the desired terminal state toward the initial one; however, oriented toward the terminal state). Control interferences are obtained on the base of the most suitable trajectory chosen from the set of feasible ones.


2021 ◽  
Vol 263 (3) ◽  
pp. 3738-3747
Author(s):  
Xiaolong Ma ◽  
Peng Zhang ◽  
Ni Li ◽  
XI Shi ◽  
Huaiwu Zou

In the emergency case when the elevator car is over speeding in the downward direction, the traction car will be stopped rapidly by the braking of safety gear. However, the counterweight and the traction sheave are still moving, which maybe induces the collision between the counterweight and the traction sheave, the slip and off-track between the traction sheave and the rope. Therefore, a two sides mass-spring-damping rope model was proposed in this paper to investigate the dynamic behavior of elevator traction system under the braking of safety gear. In this model, the interaction between the car and the counterweight on both sides of the traction sheave was introduced. Meanwhile, the slip behavior and various constraints between the rope and traction sheave were respected in this model. Especially, the rope slack and the rope length change were considered to approach the mechanical properties of real rope. Furthermore, a numerical scheme based on Newmark- method was applied to solve the proposed dynamic model. Then the impacts of the braking force on the dynamic behavior of elevator traction system under different working conditions were deeply studied. Results showed the braking force of the safety gear, the speed and the acceleration of the traction sheave had great influences on the bounce of the counterweight. In fact, the braking performance, the vibrations of the car, rope and counterweight could be well analyzed based on this model, which is key for the realization of the steady and safe braking of traction elevator.


1981 ◽  
Vol 64 (10) ◽  
pp. 18-27
Author(s):  
Yoshio Hamamatsu ◽  
Katsuhiro Nakada ◽  
Ikuo Kaji ◽  
Osamu Doi

Sign in / Sign up

Export Citation Format

Share Document