posted by organizer: ttj || 2523 views || tracked by 3 users: [display]

SNR 2018 : 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis

FacebookTwitterLinkedInGoogle

Link: http://snr2018.verivital.com/
 
When Apr 14, 2018 - Apr 15, 2018
Where Thessaloniki, Greece
Submission Deadline Jan 10, 2018
Notification Due Feb 18, 2018
Final Version Due Mar 3, 2018
Categories    hybrid systems   formal methods   reachability   cyber-physical systems
 

Call For Papers

-------------------------------------------------------------------

CALL FOR PAPERS

SNR 2018
========

4th International Workshop on Symbolic and Numerical Methods for
Reachability Analysis

April 14, 2018, Thessaloniki, Greece
Affiliated with ETAPS 2018

http://snr2018.verivital.com/

Important Dates
===============

Abstract submission: January 10, 2018
Paper submission: January 18, 2018
Notification: February 18, 2018
Final version: March 3, 2018
Workshop date: April 14, 2018

Scope
=====

Cyber-physical systems are complex dynamical systems that combine discrete
and continuous components and therefore feature hybrid
discrete-continuous state. Reachability questions, regarding whether a
system can run into a certain subset of its state space, stand at the core
of verification and synthesis problems for hybrid systems and their
embedded control software. Many successful reachability analysis methods
for hybrid systems connect techniques from two major research areas:

- Symbolic methods that encode reachability properties as logical
formulas, resorting to constraint solvers, model checking algorithms,
and theorem provers for discharging proof obligations over the resulting
predicative representations of systems and state sets.

- Numerical methods that operate on various forms of numerical
approximations of reachable state sets and system dynamics, like verified
integration.

The SNR workshop is a platform for seeking further synergies between these
two types of techniques already interacting closely in the existing
approaches for reachability analysis. The workshop aims to catalyze work on
the interface of symbolic and numerical methods for reachability
analysis, automated system verification, correct-by-construction
system synthesis, and planning in hybrid-state dynamical systems. It
solicits submissions broadly in the area of analysis and
synthesis of continuous and hybrid systems. The scope of the workshop
includes, but is not restricted to, the following topics:

- Verification of hybrid systems
- Flow-pipe construction; symbolic representation of regions in
reachability analysis algorithms
- Abstraction techniques for hybrid systems and numerical programs
- Trajectory generation from symbolic paths; counterexample computation
- Symbolic and reliable integration
- Bounded model-checking, symbolic simulation, and related techniques
- Decision procedures over real numbers; logics to reason about hybrid
systems
- Automated deduction and invariant generation for hybrid systems
- Reachability analysis for planning and synthesis
- Stochastic/probabilistic hybrid systems
- Domain-specific approaches in biology, robotics, cyber-physical systems
(CPS), embedded software, etc.


Submission Information
======================

The workshop solicits

- long research papers (not exceeding 15 pages excluding references),
- short research papers (not exceeding 6 pages excluding references)
- tool papers (not exceeding 6 pages excluding references)
- work-in-progress papers (not exceeding 6 pages excluding references).

Research papers must present original unpublished work which is not
submitted elsewhere. In order to foster the exchange of ideas, we also
encourage work-in-progress papers, which present recent or on-going
work.

The papers should be written in English and formatted according to the
EPTCS guidelines (http://style.eptcs.org/).

Papers can be submitted using the EasyChair system:
https://easychair.org/conferences/?conf=snr2018
All submissions will undergo a peer-reviewing process.

Accepted research papers will be presented at the workshop and
published in the Electronic Proceedings in Theoretical
Computer Science (EPTCS, http://www.eptcs.org/).

Accepted work-in-progress papers will be presented at the workshop but
will not be included in the proceedings.

Invited Speakers
================

TBA

Workshop Co-Chairs
==================

Taylor T. Johnson (Vanderbilt University, Nashville, TN, USA)
Martin Franzle (Carl von Ossietzky Universität Oldenburg, Germany)

Program Committee (tentative)
=================

Erika Abraham (RWTH Aachen, Germany)
Matthias Althoff (TUM, Germany)
Ezio Bartocci (TU Vienna, Austria)
Stanley Bak (Air Force Research Laboratory, OH, USA)
Sergiy Bogomolov (Australian National University, Australia)
Jyotirmoy V. Deshmukh (University of Southern California, CA, USA)
Parasara Sridhar Duggirala (University of Connecticut, CT, USA)
Sicun Gao (University of California San Diego, CA, USA)
Martin Fränzle (University of Oldenburg, Germany)
Goran Frehse (Verimag, France)
Ian Mitchell (University of British Columbia, Canada)
Sayan Mitra (University of Illinois at Urbana-Champaign, IL, USA)
Nikolaj Nikitchenko (Kyiv National Taras Shevchenko University, Ukraine)
Jens Oehlerking (Robert Bosch GmbH, Germany)
Corina Pasareanu (NASA Ames Research Center, CA, USA)
Pavithra Prabhakar (Kansas State University, KS, USA)
Rajarshi Ray (National Institute of Technology Meghalaya, India)
Stefan Ratschan (Academy of Sciences, Czech Republic)
Ashish Tiwari (SRI, CA, USA)
Stavros Tripakis (Aalto University, Finland)
Naijun Zhan (Chinese Academy of Sciences, Beijing, PRC)
Paolo Zuliani (University of Newcastle, UK)

------------------------------------------------------------------------

Related Resources

FM 2024   Formal Methods
SI DENA 2024   SPECIAL ISSUE on Differential Equations and Numerical Analysis
ICFEM 2024   International Conference on Formal Engineering Methods
ML-DE@ECAI 2024   Machine Learning Meets Differential Equations: From Theory to Applications
EXPLAINS 2024   1st International Conference on Explainable AI for Neural and Symbolic Methods
TAP 2024   18th International Conference on Tests and Proofs
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications