[SystemSafety] Call for Papers - SCAV @ CPSWeek 2018

[Mario Gleirscher]

[[ apologies for multiple copies ]]

SCAV 2018
2nd International Workshop on
Safe Control of Autonomous Vehicles

hosted by CPS Week 2018, April 10-13, 2018, Porto, PT


# Important Dates (AoE) #
Full paper deadline:    26 Jan 2018
Author notification:    28 Feb 2018
Camera-ready due:       20 Mar 2018
Workshop:               10 Apr 2018


Autonomous vehicles (AV) of any kind (e.g. road, maritime, aerial,
unmanned) and in any configuration (e.g. individual, connected,
cooperative, traffic) will provide novel services having to fulfill
strong safety requirements. For controllers of AVs and for control
schemes of AV collectives, we must

(1) guarantee safety and resilience,
(2) deliver verified system designs for (1), and
(3) enhance verification approaches for (1) & (2).

These objectives will play a decisive role in the adoption of AVs as a
consumer, transport, and mobility technology. These objectives demand
novel approaches to the analysis and assurance of local, distributed,
and supervisory controllers.

The goal of this workshop is to discuss and consolidate models,
algorithms, and verification approaches for safety and resilience of
the whole control loop of autonomous machines and machine collectives.

The task of this workshop is to identify open research problems,
discuss recent achievements, bring together researchers in,
e.g. control theory, adaptive systems, machine self-organization and
autonomy, mobile intelligent robotics, transportation, traffic
control, machine learning, software verification, and dependability
and security engineering.

For this interactive single-day workshop we plan a keynote, an
optional poster session, and a final discussion.


# Paper Categories #
 * technical research or methodology (max. 15 pages incl. ref.),
 * case studies (max. 15 pages incl. ref.), and
 * problem statements or tools
   (max. 5 pages incl. ref., poster optional)


# Topics #
We kindly request contributions to (but not limited to):
** formal verification and validation (e.g. testing,
   simulation, experimentation) of
 * safe high-performance requirements,
 * safe non-deterministic behaviors (weakest invariants),
 * safe off-line and on-line machine-learnable behaviors,
 * resilience against hazardous unintentional or malicious
   misuse (e.g. non-vigilance, security attacks),
** formal models and design methods for
 * controllers,
 * monitors,
 * platforms (i.e., architecture, SW, HW, network),
** verified efficient algorithms for
 * incremental and online synthesis of controllers,
 * optimal adaptive control,
 * self-adaptation and run-time reconfiguration
for AVs and AV collectives in open environments.


# Workshop Format #
All submissions must conform to the Electronic Proceedings in
Theoretical Computer Science (EPTCS) author guidelines
(http://info.eptcs.org), be original work not published, or in
submission, elsewhere, and will be peer-reviewed by at least three
members of the program committee for quality and relevance. Accepted
papers will be included in the SCAV workshop EPTCS and in the CPSWeek
conference materials.

# Workshop Organizers #
Mario Gleirscher (U York, UK)
Stefan Kugele (TU Munich, DE)
Sven Linker (U Liverpool, UK)

# Workshop Website #
http://scav.in.tum.de

# Contact #
mario.gleirscher at york.ac.uk


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5053 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20180106/4acef70c/attachment-0001.bin>