CPSWS2013 logo

1st WORKSHOP ON PROGRAMMING CYBER PHYSICAL SYSTEMS

June 17, 2013

Eötvös Loránd University, Budapest, Hungary

1st Workshop on CPS Programming, June 17, 2013, Eötvös Loránd University, Budapest, Hungary

The First Workshop on CPS Programming will be held in Budapest, Hungary on June 17th, 2013 - co-located with the STAF 2013 Federated Conferences . The workshop is organized by Eötvös Loránd University, Budapest, together with the EIT ICT Labs Budapest Associate Partner Group. The workshop will take place in the Science and Innovation Park of Budapest, where top universities, high-tech IT companies, the Co-Location Centre of EIT ICT Labs Budapest and the EIT Headquarters are situated. This area is a hotspot where education, research, and industry meet.

Scope and Motivation

CPS Programming is concerned with resolving combinatorial explosions in the design and testing of such systems, including real-time verification and validation. Core issues include programming models, techniques, methodologies, languages and tools targeting the development of cyber-physical systems. This workshop will be a venue for CPS Programming solution providers, as well as users of such solutions, to describe experiences, identify requirements and research problems, discuss new ideas, present and consolidate results, discover business potential and foster collaboration in the domain of CPS Programming and its applications.

The programme committee invites contributions that are related to, though not limited to, any of the following topics.

  • Multidisciplinary modeling and analysis of discrete-continuous systems
  • Model based design methods
  • Scalable and evolvable system and software architectures
  • Domain-specific languages for CPS
  • Workflow systems with or without human actors
  • Probabilistic formal methods and statistical testing
  • Risk sensitive decision making
  • Composition and integration frameworks for heterogeneous systems
  • Human-computer interaction
  • Stability of system in the presence of delays
  • Real time verification and validation
  • Human and robotic participants in a CPS
  • Interplay between humans and robots (explaining machine suggestions to humans and deriving workflow upon human command)
  • Industrial experience on CPS Programming
  • Application areas of CPS Programming, such as medical CPS

Programme Chair

  • Tamás Kozsik (Eötvös Loránd University)

Programme Committee

  • Zoltán Horváth (Eötvös Loránd University)
  • András Lőrincz (Eötvös Loránd University)

Organizing Committee

  • Tamás Kozsik (Eötvös Loránd University)
  • András Lőrincz (Eötvös Loránd University)
  • Melinda Tóth (Eötvös Loránd University)

Submission and Publication

Invited participants are asked to give a presentation (15 mins). Submission of papers is also welcome, albeit not obligatory. Both full papers (up to 16 pages) and short position papers (2-5 pages) are accepted. Submissions must be sent by email to the following address: cps-ws@cps.elte.hu.

Submitted papers will be published online at Robotic Surgepedia after peer review.

Important Dates

  • Acceptence of invitation for participation: May 29th, 2013
  • Submission deadline: May 31th, 2013
  • Workshop: June 17th, 2013

Speakers

Presentations will be given in the morning, we are asking for short descriptions on ongoing project (white papers) and for short descriptions of planned future directions (position papers).

Venue

The workshop will take place in Budapest, the capital of Hungary. The city is bisected by the River Danube, which makes Budapest a natural geographical centre and a major international transport hub. Budapest has a rich and fascinating history, a vibrant cultural heritage, yet it managed to maintain its magic and charm. It has also been called the City of Spas with a dozen thermal bath complexes served by over a hundred natural thermal springs.

Contact:

cps-ws@cps.elte.hu
CPSWS2013 logo CPSWS2013 logo CPSWS2013 logo