Scientific Research An Academic Publisher
OPEN ACCESS
Add your e-mail address to receive free newsletters from SCIRP.
Select Journal AA AAD AAR AASoci AAST ABB ABC ABCR ACES ACS ACT AD ADR AE AER AHS AID AiM AIT AJAC AJC AJCC AJCM AJIBM AJMB AJOR AJPS ALAMT ALC ALS AM AMI AMPC ANP APD APE APM ARS ARSci AS ASM BLR CC CE CellBio ChnStd CM CMB CN CRCM CS CSTA CUS CWEEE Detection EMAE ENG EPE ETSN FMAR FNS GEP GIS GM Graphene GSC Health IB ICA IIM IJAA IJAMSC IJCCE IJCM IJCNS IJG IJIDS IJIS IJMNTA IJMPCERO IJNM IJOC IJOHNS InfraMatics JACEN JAMP JASMI JBBS JBCPR JBiSE JBM JBNB JBPC JCC JCDSA JCPT JCT JDAIP JDM JEAS JECTC JEMAA JEP JFCMV JFRM JGIS JHEPGC JHRSS JIBTVA JILSA JIS JMF JMGBND JMMCE JMP JPEE JQIS JSBS JSEA JSEMAT JSIP JSS JSSM JST JTR JTST JTTs JWARP LCE MC ME MI MME MNSMS MPS MR MRC MRI MSA MSCE NJGC NM NR NS OALib OALibJ ODEM OJA OJAB OJAcct OJAnes OJAP OJApo OJAppS OJAPr OJAS OJBD OJBIPHY OJBM OJC OJCB OJCD OJCE OJCM OJD OJDer OJDM OJE OJEE OJEM OJEMD OJEpi OJER OJF OJFD OJG OJGas OJGen OJI OJIC OJIM OJINM OJL OJM OJMC OJMetal OJMH OJMI OJMIP OJML OJMM OJMN OJMP OJMS OJMSi OJN OJNeph OJO OJOG OJOGas OJOp OJOph OJOPM OJOTS OJPathology OJPC OJPChem OJPed OJPM OJPP OJPS OJPsych OJRA OJRad OJRD OJRM OJS OJSS OJSST OJST OJSTA OJTR OJTS OJU OJVM OPJ POS PP PST PSYCH SAR SCD SGRE SM SN SNL Soft SS TEL TI UOAJ VP WET WJA WJCD WJCMP WJCS WJET WJM WJNS WJNSE WJNST WJV WSN YM
More>>
D. I. Cheremisinov, “The real difference between linear and branching temporal logics,” Workshop on Discrete-Event System Design DESDes’04, University of Zielona Gora Press, Poland, pp. 103–108, 2004.
has been cited by the following article:
TITLE: The Specification of Agent Interaction in Multi-Agent Systems
AUTHORS: Dmitri CHEREMISINOV
KEYWORDS: interaction protocol, temporal logic, parallel algorithm
JOURNAL NAME: Intelligent Information Management, Vol.1 No.2, November 30, 2009
ABSTRACT: The problem of the description of interaction between agents in a multi-agent system (MAS) in the form of dialogues of negotiations is considered. For formalization of the description of interaction at a level of steps of the dialogue which is carried out in common by two spatially divided agents, the concept of synchronization of processes is analyzed. The approach to formalization of the description of conditions of synchronization when both the independent behaviour, and the communications of agents can be presented at a level of logic is offered. It is shown, that the collective behavior of agents can be described by the synthetic temporal logic that unite linear and branching time temporal logics.
Related Articles:
Design of a Patient-Centered Appointment Scheduling with Artificial Neural Network and Discrete Event Simulation
Wen-Jen Chang, Yen-Hsiang Chang
DOI: 10.4236/jssm.2018.111007 796 Downloads 1,399 Views Citations
Pub. Date: February 13, 2018
Modeling and Simulating for Emergency Medical Service System Optimizing Based on Discrete Event System Theory
Tian Xie, Yaoyao Wei, Leilei Pan, Tieli Wang, Hairong Chen
DOI: 10.4236/jss.2016.47022 1,067 Downloads 1,614 Views Citations
Pub. Date: July 21, 2016
The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri Nets via Lyapunov Methods and Max-Plus Algebra
Zvi Retchkiman Konigsberg
DOI: 10.4236/jamp.2015.37104 2,252 Downloads 2,550 Views Citations
Pub. Date: July 14, 2015
Decomposition of Supercritical Linear-Fractional Branching Processes
Serik Sagitov, Altynay Shaimerdenova
DOI: 10.4236/am.2013.42054 3,001 Downloads 4,658 Views Citations
Pub. Date: February 27, 2013
Hierarchical Coordinated Control for Power System Voltage Using Linear Temporal Logic
Hongshan ZHAO, Hongliang GAO, Yang XIA
DOI: 10.4236/eng.2009.12014 5,268 Downloads 9,244 Views Citations
Pub. Date: August 24, 2009