Knowing when and how to communicate and coordinate with other agents in a multi-agent system is an important efficiency and reliability question. Contextual rules governing this communication must be provided to the agent, or generated at runtime through environmental analysis. In this paper we describe how the T/EMS task modeling language is used to encode such contextual coordination rules, a...

this paper presents a cooperative control which is applied to the secondary control of a microgrid controlled via a multi-agent scheme. balancing power that leads to voltage and frequency stability in a microgrid is essential. the voltage and frequency regulations are limiting within the specified limits and conveying them to their nominal values. limiting and conveying the voltage and frequenc...

In this paper we propose a logical system combining the update logic of A. Baltag, L. Moss and S. Solecki (to which we will refer to by the generic term BMS, [BMS04]) with the belief revision theory as conceived by C. Alchouròn, P. Gärdenfors and D. Mackinson (that we will call the AGM theory, [GardRott95]) viewed from the point of view of W. Spohn ([Spohn90,Spohn88]). We also give a proof syst...

Here we report on the issue of Advanced Persistent Threats (APT), which use malware for the purpose of leaking the data of large corporations and government agencies. APT attacks target systems continuously by utilizing intelligent and complex technologies. To overthrow the elaborate security network of target systems, it conducts an attack after undergoing a pre-reconnaissance phase. An APT at...

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we p...

market of corporate antivirus solutions. Brief overview of modern security threats that can destroy IT environment is provided as well as a typical structure and features of antivirus suits for corporate users presented on the market. The general requirements for corporate products are determined according to the last report from av-comparatives.org [1]. The detailed analysis of new features is...

A 61-year-old man with glioblastoma and positive for hepatitis B surface antigen (HBsAg) developed acute hepatitis due to hepatitis B virus (HBV) reactivation after concomitant postoperative treatment with temozolomide (75 mg/m(2)/day) and radiation therapy (60 Gy in 30 fractions). Corticosteroids were not used during chemo-radiation therapy, and grade 4 lymphocytopenia was observed. The levels...

This talk shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent knowledge update and belief revision, or as a logic of preference change, if the basic relations are read as preferences instead of plausibilities. Our point of departure is the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, ...