[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
We apologize for the inevitable cross-posting!
If you are interested in research topics at the interplay between
control engineering, computer science, applied mathematics and
artificial intelligence, then the following event might be of interest
to you.
HAS, the two days workshop on ``Hybrid Autonomous Systems?, is an
inter-disciplinary event associated with ETAPS 2011, in Saarbrucken,
Germany. It promotes the applications of the hybrid
discrete/continuous models to autonomous systems. These are now mature
paradigms that still raise many research topics. We are very liberal
in receiving submissions that deal with any sort of topic in the area,
especially from inter-disciplinary perspectives.
In addition to publishing quality submissions in a special issue of
the Elsevier?s ENTCS journal, we are also considering the possibility
to edit a book after the workshop. Therefore, extended versions that
exceed the 16 pages limit are welcome, and they will be fully
reviewed. However, the final versions have to be within the page limit.
All relevant details can be found in the call for papers attached below.
Thank you for your attention!
Best wishes from me and all colleagues involved in the organization,
Manuela
==============================================================================
HAS 2011
HYBRID AUTONOMOUS SYSTEMS
A satellite event of
European Joint Conferences on Theory and Practice
of Software
ETAPS 2011
2-3 April, 2011,
Saarbrucken, Germany
_______________________________________________________________________
2nd Call for Papers
_______________________________________________________________________
URL: http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/HAS.htm
ETAPS: http://www.etaps.org/workshops
_______________________________________________________________________
CHAIRS
Manuela Bujorianu, University of Manchester, UK
Martin Fränzle, Carl von Ossietzky Universität Oldenburg, DE
Antonios Tsourdos, Cranfield University, UK
_______________________________________________________________________
SCOPE
The variety of autonomous systems is increasing both in industry and
academia. Such systems must operate with limited human intervention in a
changing environment and they must be able to compensate for significant
system failure without external intervention. In highly autonomous systems,
the system behavior is normally so complex that it is either impossible or
inappropriate to describe it with conventional mathematical system models.
The complexity of the system model needed in design depends on both the
complexity of the physical system and on how demanding the design
specifications are. The most appropriate models of autonomous systems can
be find in the class are hybrid systems (which study continuous-state
dynamic processes via discrete-state controllers) that interact with their
environment. The symposium will bring together researchers interested in
all aspects of autonomy and adaptivity of hybrid systems.
_______________________________________________________________________
PLENARY SPEAKERS
Howard Barringer, University of Manchester, UK
Mike Hinchey, Lero-the Irish Software Engineering
Research Centre, IE
Joost-Pieter Katoen, RWTH Aachen, DE
Pieter J. Mosterman, The MathWorks, CA
Holger Voos, University of Luxembourg, LU
_______________________________________________________________________
TOPICS OF INTEREST
These include, but are not restricted to:
Ø new modelling paradigms for autonomous systems;
Ø extending hybrid systems with autonomous behaviours;
Ø formal methods for autonomous systems
Ø verification and safety certification techniques
Ø modelling, analysis and control of hybrid systems,
Ø uncertainty and stochastic modelling;
Ø multi-agent systems;
Ø algebraic and categorical methods
Ø reports on practical experiments
_______________________________________________________________________
SUBMISSION
All submitted papers will undergo a thorough review process; each paper
will be refereed by at least three experts in the field based on
relevance, originality, significance, quality and clarity.
Submissions should:
- contain original contributions that have not been published or
submitted to other conferences/journals in parallel with this event;
- clearly state the problem being addressed, the goal of the work,
the results achieved, and the relation to other works;
- be in PS or PDF and formatted according to ENTCS Instructions
for authors: http://www.entcs.org/prelim.html;
- be in English and in a form that can be immediately included in the
proceedings without major revision;
- be with a maximum length of 16 pages
- be attached (if necessary) by an Appendix that contains proofs,
figures, tables, additional material. The appendix will be reviewed.
- be sent electronically (as a PostScript or PDF file) through the
submissions link to the conference website:
https://www.easychair.org/account/signin.cgi?conf=has2011
Submission deadline (NEW!): 21st December 2010
_______________________________________________________________________
PUBLICATION
Accepted papers will be included in HAS 2011 Proceedings. At least one
of the authors will be required to register and attend the symposium to
present the paper in order to include the paper in the proceedings.
All accepted papers will be published by Elsevier in the
Electronic Notes in Theoretical Computer Science journal.
_______________________________________________________________________
PROGRAM COMMITTEE
Jose Luiz Fiadeiro, University of Leicester, UK
Michael Fisher, University of Liverpool , UK
Alessandro Giua, Universita' di Cagliari, IT
Klaus Havelund, JPL, NASA, USA
Michael Hofbaur, Private University UMIT, AT
Joost-Pieter Katoen, RWTH Aachen, DE
Rom Langerak, University Of Twente, NL
Corina Pasareanu, NASA Ames, USA
Maria Prandini, Technical University of Milan, IT
Manuel Silva, GISED, Zaragoza, SP
Joerg Raisch, Technische Universitaet Berlin, DE
Sandeep Shukla, Virginia Tech, USA
Olaf Stursberg, University of Kassel, DE
Janan Zaytoon, CReSTIC, Reims, FR
==============================================================================
