Modeling, Analysing, and Control of Agents Behaviour

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.

Kybernetes ◽  
2002 ◽  
Vol 31 (9/10) ◽  
pp. 1274-1281 ◽  
Author(s):  
František Čapkovič

A new control synthesis method suitable for a special kind of discrete event dynamic systems (DEDS) is presented in this paper. The systems to be controlled are modelled by a special class of Petri nets (PN) named state machine (SM). The class is distinctive by the fact that each PN transition has only one input place and only one output place. Bipartite directed graphs (BDG) are utilized in the control synthesis process. Namely, PN in general are (from the structure point of view) the BDG. Both the state reachability tree and the corresponding control one are developed in the straight‐line procedure starting from the given initial state and directed to the desirable terminal one as well as in the backtracking procedure starting from the terminal state and directed to the initial one. After a suitable intersection of both the straight‐lined state reachability tree and the backtracking one the state trajectories of the system are obtained. After the intersection of both the straight‐lined control reachability tree and the backtracking one the control interferences corresponding to the state trajectories are obtained.


2014 ◽  
Vol 39 (9) ◽  
pp. 1431-1438 ◽  
Author(s):  
Xiao-Yuan LUO ◽  
Shi-Kai SHAO ◽  
Xin-Ping GUAN ◽  
Yuan-Jie ZHAO

SIMULATION ◽  
2021 ◽  
pp. 003754972110309
Author(s):  
Mohd Shoaib ◽  
Varun Ramamohan

We present discrete-event simulation models of the operations of primary health centers (PHCs) in the Indian context. Our PHC simulation models incorporate four types of patients seeking medical care: outpatients, inpatients, childbirth cases, and patients seeking antenatal care. A generic modeling approach was adopted to develop simulation models of PHC operations. This involved developing an archetype PHC simulation, which was then adapted to represent two other PHC configurations, differing in numbers of resources and types of services provided, encountered during PHC visits. A model representing a benchmark configuration conforming to government-mandated operational guidelines, with demand estimated from disease burden data and service times closer to international estimates (higher than observed), was also developed. Simulation outcomes for the three observed configurations indicate negligible patient waiting times and low resource utilization values at observed patient demand estimates. However, simulation outcomes for the benchmark configuration indicated significantly higher resource utilization. Simulation experiments to evaluate the effect of potential changes in operational patterns on reducing the utilization of stressed resources for the benchmark case were performed. Our analysis also motivated the development of simple analytical approximations of the average utilization of a server in a queueing system with characteristics similar to the PHC doctor/patient system. Our study represents the first step in an ongoing effort to establish the computational infrastructure required to analyze public health operations in India and can provide researchers in other settings with hierarchical health systems, a template for the development of simulation models of their primary healthcare facilities.


2014 ◽  
Vol 941-944 ◽  
pp. 1141-1145 ◽  
Author(s):  
Hui Li Zhang ◽  
Lin Chen ◽  
Wen Na Li ◽  
Li Li Wang ◽  
Hong Yu Xie

MicroRNAs (miRNAs) are endogenous small RNAs transcribed from non-coding DNA, which have the capacity to base pair with the target mRNAs (messenger RNAs) to repress their translation or resulted in cleavage. We have paid much attention on the DNA and its coded proteins, the discovery of miRNAs as gene negatively regulators has led to a fundamental change in understanding of post-transcriptional gene regulation in plants. Fungal pathogens infection is the main cause of most economic crops diseases. Unlike humans, plants don’t evolved to have a adaptive immune system, they protect themselves with a mechanism consists of activation and response. Recently, high throughput sequencing validated that miRNA play a crucial role in plant-fungus interaction. A better understanding of miRNA-mediated disease mechanism in fungi should clarify the strategy of crop disease control. MiRNA-based manipulations as gene suppressors, such as artificial miRNAs, may emerge as a new alternative approach for the improvement of crops and control of crop disease.


Author(s):  
E. G. Kovalenko

The article studies the features of monitoring of goods turnover, including marking of goods, as well as turnover in the state information system of monitoring over turnover of goods involved in the relations of the operator issuing the codes, marking, collecting information, its storage and provision. The marking functions are defined: the function of analysis of wholesale and retail turnover, information function, identifying and control functions


Sign in / Sign up

Export Citation Format

Share Document