the advent of highly distributed systems, such as the Internet of things, has led to the development of distributed systemsthat require efficient and resilient runtime monitoring. Among the various monitoring techniq...
详细信息
ISBN:
(纸本)9798400711190
the advent of highly distributed systems, such as the Internet of things, has led to the development of distributed systemsthat require efficient and resilient runtime monitoring. Among the various monitoring techniques, runtime verification is a lightweight verification method that assesses the correctness of a running system concerning a formal specification. In this paper, we investigate the optimization of aggregate monitors, i.e., monitors that operate on ensembles of devices, for properties expressed in Spatial logic of Closure Spaces (SLCS)-a formal logic designed to reason about spatial relationships between entities in a distributed system. We propose three different algorithms for the implementation of the somewhere operator, a key construct in SLCS, and we evaluate their performance through a series of simulations, comparing their convergence time and computational load.
the proceedings contain 13 papers. the special focus in this conference is on Engineering multi-agentsystems. the topics include: JS-son - A lean, extensible JavaScript agent programming library;SAT for epistemic log...
ISBN:
(纸本)9783030514167
the proceedings contain 13 papers. the special focus in this conference is on Engineering multi-agentsystems. the topics include: JS-son - A lean, extensible JavaScript agent programming library;SAT for epistemic logic using belief bases;Jacamo-web is on the fly: An interactive multi-agent system IDE;From goals to organisations: Automated organisation generator for MAS;on enactability of agent interaction protocols: Towards a unified approach;An architecture for integrating BDI agents with a simulation environment;Using MATsim as a component in dynamic agent-based micro-simulations;Incorporating social practices in BDI agentsystems;who’s that? - Social situation awareness for behaviour support agents: A feasibility study;the "why did you do that?" button: Answering why-questions for end users of robotic systems;from programming agents to Educating agents – A jason-based framework for integrating learning in the development of cognitive agents.
the proceedings contain 7 papers. the topics discussed include: operational and declarative runtime verification;RVsec: towards a comprehensive technology stack for secure deployment of software monitors;devising a Tr...
ISBN:
(纸本)9798400711190
the proceedings contain 7 papers. the topics discussed include: operational and declarative runtime verification;RVsec: towards a comprehensive technology stack for secure deployment of software monitors;devising a TraceObject class for improved runtime monitoring of ooRexx applications;optimizing aggregate monitors for spatial logic of closure spaces properties;real-time guarantees for SLCS monitors in XC;identifying potential deadlocked instructions in a multi-threaded ooRexx program;and runtime verified neural networks for cyber-physical systems.
the proceedings contain 22 papers. the topics discussed include: non-linear model predictive control to improve the mineralogical efficiency of flotation circuits;an adaptive fuzzy logic control method for froth veloc...
the proceedings contain 22 papers. the topics discussed include: non-linear model predictive control to improve the mineralogical efficiency of flotation circuits;an adaptive fuzzy logic control method for froth velocity in the flotation process;controlling a flotation cell at the peak air recovery point;probabilistic methods for flotation circuit mass balance estimation;the effect of disturbances on plant-model mismatch detection using the plant-model ratio: a surge tank case study;multi-stage dynamic latent variable model and lightweight PCANet based anomaly identification of fused magnesium furnaces;a model predictive control algorithm for autonomous mining dump trucks;enhancing orebody knowledge using measure-while-drilling data: a machine learning approach;and roasting temperature distribution control using multi-agent reinforcement learning.
After fact finding on the disruption bought by today’s Generative AI tools to the education system, we outline the advantages of joining the disruption, motivated by the natural synergies between today’s Generative ...
详细信息
the proceedings contain 36 papers. the special focus in this conference is on Computer Safety, Reliability, and Security. the topics include: Security and Safety in Urban Environments: Evaluating threats and...
ISBN:
(纸本)9783031687372
the proceedings contain 36 papers. the special focus in this conference is on Computer Safety, Reliability, and Security. the topics include: Security and Safety in Urban Environments: Evaluating threats and Risks of Autonomous Last-Mile Delivery Robots;safe Road-Crossing by Autonomous Wheelchairs: A Novel Dataset and Its Evaluation;automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on Safety;Securing Web Access: PUF-Driven Two-Factor Authentication for Enhanced Protection;enhancing Tunnel Safety with Artery V2X Simulation for Real-Time Risk Assessment;detecting and Mitigating Errors in Neural Networks;challenges and Limitations of Utilizing multi-core/Heterogeneous logic Elements in the Railway Signaling Applications;identifying Difficult Environmental Conditions with Scenario-Based Hazard and Fault Analysis;Using GPT-4 to Generate Failure logic;towards an Argument Pattern for the Use of Safety Performance Indicators;enabling theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis;Managing Changing Product Liability Obligations Emerging from New Proposed EU Directive;reaching Consensus on System-of-systems Resilience Assurance: A Case of Mobility as a Service;a Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective logic;a New Approach to Creating Clear Operational Safety Arguments;including Defeaters in Quantitative Confidence Assessments for Assurance Cases;multivariate Security Breach Probability: the Gordon-Loeb Model with Copulas;quantum Machine Learning: Perspectives in Cybersecurity;Security Modeling Challenges and Research Directions Around the ADVISE Meta Framework;Capability Ambient DO – A Usable Tool for Linux System Security;VUOS: A User-Space Hypervisor Based on System Call Hijacking;cyber Risk Propagation on Networks;where Do Safety and Security Mutually Reinforce? A multi-level Model-Based Approach for a Consistent Interplay;a Flow-Based Credibilit
the proceedings contain 186 papers. the topics discussed include: design scalability and power optimization of power management unit;physical design implementation of SoC module with performance optimization;low-power...
ISBN:
(纸本)9798350343144
the proceedings contain 186 papers. the topics discussed include: design scalability and power optimization of power management unit;physical design implementation of SoC module with performance optimization;low-power 4 x 4 SRAM memory array design using voltage mode technology;decentralized money transaction security system using HMBC algorithm;NLP based hate speech detection and moderation;an analytical approach for Cetacean family species detection using auditory hybrid algorithms for multi-class classification;development of machine learning model for medicinal plant identification;smart technology for people with food disorder;PV powered BLDC motor using fuzzy logic MPPT controller for electric vehicle;and android dashboard app development for autonomous vehicles using FireBase.
the logic of "Inferable" L-DINF has been recently proposed as a declarative framework to formally model via epistemic logicthe group dynamics of cooperative agents. In this paper, we extend the framework by...
详细信息
the process of reactive power compensation has been formalized using the example of daily electricity consumption by the power substation of the enterprise. the choice of the fuzzy control principle for the operation ...
详细信息
agents and multi-agentsystems (MAS) are a technology that has many fields of application, which extend also to human sciences and where computationallogic has been widely applied. In this paper, we join together two...
详细信息
暂无评论