Special Issue "Agents and Robots for Reliable Engineered Autonomy"
A special issue of Journal of Sensor and Actuator Networks (ISSN 2224-2708).
Deadline for manuscript submissions: closed (14 March 2021).
A printed edition of this Special Issue is available here.
Interests: multi-agent systems; automated planning; formal verification
Interests: multi-agent systems; runtime verification; software engineering
Interests: multi-agent systems; field monitoring; software engineering
Interests: cyber-physical systems; software engineering; formal methods
Autonomous agents are a well-established area that has been researched for decades, both from a design and implementation viewpoint. Nonetheless, the application of agents in real world scenarios is largely adopted when logical distribution is needed, while still limited when physical distribution is necessary. In parallel, robots are no longer used only in industrial applications but are instead being applied to an increasing number of domains, ranging from robotic assistants to search and rescue. Robots in these applications often benefit from (or require) some level (semi or full) of autonomy. Thus, multiagent solutions can be exploited in robotic scenarios, considering their strong similarity both in terms of logical distribution and interaction among autonomous entities.
The autonomous behaviour responsible for decision-making should (ideally) be verifiable since these systems are expensive to produce and are often deployed in safety-critical situations. Thus, verification and validation are important and necessary steps towards providing assurances about the reliability of autonomy in these systems. This Special Issue aims to bring together researchers from the autonomous agents, software engineering and the robotics communities, as combining knowledge coming from these two research areas may lead to innovative approaches that solve complex problems related with the verification and validation of autonomous robotic systems. Consequently, we encourage submissions that combine agents, robots and verification, but we also welcome papers focused on one of these areas, as long as their applicability to the other areas is clear.
The Special Issue seeks original contributions that address but are not limited to the following topics:
- Agent-based modular architectures applicable to robots;
- Agent oriented software engineering to model high-level control in robotic development;
- Agent programming languages and tools for developing robotic or intelligent autonomous systems;
- Coordination, interaction and negotiation protocols for agents and robots;
- Distributed problem solving and automated planning in autonomous systems;
- Fault tolerance, health-management and long-term autonomy;
- Real world applications of autonomous agents and multiagent systems in robotics;
- Real-time multiagent systems;
- Reliable software engineering of autonomy;
- Runtime verification of autonomous agents and robotic systems;
- Task and resource allocation in multirobot systems;
- Verification and validation of autonomous systems;
- Testing and simulation tools and techniques for autonomous or robotic systems;
- Self-healing entities and systems.
This Special Issue is based on the First International Workshop on “Agents and Robots for reliable Engineered Autonomy (AREA)”, https://area2020.github.io/, co-located with ECAI 2020. Authors of selected papers from the workshop are invited to submit an extended version of their text and completely new submissions from the community are also welcome.
Dr. Rafael C. Cardoso
Dr. Angelo Ferrando
Dr. Daniela Briola
Dr. Claudio Menghi
Mr. Tobias Ahlbrecht
Manuscript Submission Information
Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.
Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Journal of Sensor and Actuator Networks is an international peer-reviewed open access quarterly journal published by MDPI.
Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 1600 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.
- multiagent systems
- formal methods
- software engineering