Applications of CPS technologies dealing with automated machines that can take the place of humans in dangerous environments or manufacturing processes, or resemble humans in appearance, behavior, and/or cognition.
forum
Submitted by Anonymous on Wed, 11/08/2017 - 1:23pm
CALL FOR PAPERS - Impending Deadline
July 10-15, 2018 | Stockholm, Sweden | aamas18.ifaamas.org
event
Submitted by Anonymous on Wed, 11/08/2017 - 1:18pm
International Conference on Autonomous Agents and Multiagent Systems (AAMAS-18)
AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA).
forum
Submitted by Anonymous on Tue, 10/24/2017 - 3:20pm
file
As multi-agent systems become ubiquitous, the ability to satisfy multiple system-level constraints in these systems grows increasingly important. In applications ranging from automated cruise control to safety in robot swarms, barrier functions have emerged as a tool to provably meet such constraints by guaranteeing forward invariance of a set. However, satisfying multiple constraints typically implies formulating multiple barrier functions, bringing up the need to address the degree to which multiple barrier functions may be composed through Boolean logic.
file
This paper proposes an event-triggered interactive gradient descent method for solving multi-objective optimization problems. We consider scenarios where a human decision maker works with a robot in a supervisory manner in order to find the best Pareto solution to an optimization problem. The human has a time-invariant function that represents the value she gives to the different outcomes. However, this function is implicit, meaning that the human does not know it in closed form, but can respond to queries about it.
forum
Submitted by Anonymous on Fri, 10/06/2017 - 12:20pm
IEEE Transactions on Industrial Informatics
Special Issue on "Embedded and Networked Systems for Intelligent Vehicles and Robots"
Due to several requests, the deadline has been extedned to NOV.30, 2017
Aims and Scope
forum
Submitted by Anonymous on Thu, 10/05/2017 - 3:27pm
Dear colleagues,
For our 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and several are still open), together with research assistants (PhD students) and internship students.
This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. The project covers diverse areas that include:
forum
Submitted by Anonymous on Thu, 10/05/2017 - 3:27pm
Dear colleagues,
For our 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and several are still open), together with research assistants (PhD students) and internship students.
This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases on logical/categorical metatheories and industrial application esp. in automotive industry. The project covers diverse areas that include:
