[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] HSCC10,Call for Participation and Work-in-Progress Papers -- Intern. Conf. on Hybrid Systems: Computation and Control, Apr 12-16, 2010,Stockholm



[We apologize for multiple copies of this message]

-- Preliminary Program of HSCC 2010: http://hscc10.it.uu.se/program.html
    Hightlights:  10 sessions for 29 accepted papers and two invited 
talks by
                      Sten Grillner (CPSWEEK plenary talk,  **Karolinska 
Institute) and
                      Oded Maler (HSCC invited talk: Amir Pnueli and the 
Dawn of Hybrid Systems)

-- Call for Work-in-Progress Papers: http://hscc10.it.uu.se/hscc10-wip.html
   Extended submission deadline: 10 March, 1010

===================================================================
The 13th ACM International Conference on Hybrid Systems:
Computation and Control (HSCC'10) in conjunction with CPSWEEK
April 12-16, 2010, Stockholm
http://hscc10.it.uu.se
===================================================================

HSCC'10 will be part of the 3rd Cyber-Physical Systems Week (CPSWeek)
collocated in Stockholm, Sweden with RTAS (Real-Time and Embedded
Technology and Applications Symposium), IPSN (International Conference
on Information Processing in Sensor Networks), LCTES (Languages,
Compilers, and Tools for Embedded Systems) and CPSC (Cyber Physical
and Social Computing).

HSCC is an international conference dedicated to the theory and
practice of embedded reactive systems involving the interplay between
discrete and continuous dynamic behaviors. Academic and industrial
researchers are invited to exchange information on the latest
development of applications and theoretical advancements in the
analysis, design, control, optimization and implementation of hybrid
systems. Submissions are invited in all areas pertaining to the
analysis, design, control, optimization, implementation, and
applications of hybrid systems.

Topics of interest include, but are not limited to:

  * Models of heterogeneous systems;
  * Computability and complexity;
  * Real-time computing and control;
  * Embedded and resource-aware systems;
  * Computation and control over wireless networks;
  * Networked embedded systems;
  * Autonomous and robotic systems;
  * Tools for analysis, verification, control, and optimization;
  * Programming languages support and implementation;
  * Applications including automotive, communication networks, avionics,
    energy systems, transportation networks, manufacturing and robotics, 
    biology and other sciences.

Invited Speakers:
------------------
Sten Grillner <http://www.neuro.ki.se/grillner/cv/stencv.html> (CPSWEEK 
plenary talk): TBA
Oded Maler:  Amir Pnueli and the Dawn of Hybrid Systems

Program Chairs:
---------------
Karl Henrik Johansson, KTH, Sweden
Wang Yi, Uppsala University, Sweden

Program Committee:
---------------------

    * Alessandro Abate, Delft University of Technology, the Netherlands
    * Aaron Ames, Texas A&M University, USA
    * Panos Antsaklis, University of Notre Dame, USA
    * Eugene Asarin, LIAFA, Paris Diderot University, France
    * Alexandre Bayen, University of California, Berkeley, USA
    * Alberto Bemporad, University of Siena, Italy
    * Frank de Boer, CWI, Netherlands
    * Domitilla del Vecchio, University of Michigan, USA
    * Martin Fränzle, Carl von Ossietzky Universität, Germany
    * Maurice Heemels, Eindhoven University of Technology, Netherlands
    * Christoph Kirsch, University of Salzburg, Austria
    * Jun-ichi Imura, Tokyo Institute of Technology, Japan
    * Kim Larsen, Aalborg University, Denmark
    * Michael Lemmon, University of Notre Dame, USA
    * John Lygeros, ETH, Switzerland
    * Ian Mitchell, University of British Columbia, Canada
    * Sayan Mitra, University of Illinois at Urbana-Champaign, USA
    * Luigi Palopoli, Università degli Studi di Trento, Italy
    * Paritosh Pandya, Tata Institute of Fundamental Research Research,
      India
    * Paul Pettersson, Malardalen University, Sweden
    * Andre Platzer, Carnegie Mellon University, USA
    * Giordano Pola, University of L'Aquila, Italy
    * Nacim Ramdani, INRIA, France
    * Jean-Francois Raskin, Université Libre de Bruxelles, Belgium
    * Sriram Sankaranarayanan, NEC Laboratories, USA
    * Luca Schenato, University of Padova, Italy
    * Oleg Sokolsky, University of Pennsylvania
    * Paulo Tabuada, University of California, Los Angeles, USA
    * P.S. Thiagarajan, National University of Singapore
    * Stavros Tripakis, Verimag, France/UC Berkerley, USA
    * Manel Velasco, Universitat Politècnica de Catalunya, Spain
    * Jan Lunze, Ruhr-Universität Bochum, Germany
    * Frits Vaandrager, Radboud University Nijmegen, The Netherlands
    * Gera Weiss, Ben Gurion University, Israel
    * Jingling Xue, University of New South Wales, Austrailia



Steering Committee:
-------------------

Rajeev Alur, Univ. Pennsylvania, USA
Bruce Krogh, CMU, USA
Oded Maler, VERIMAG, France
Manfred Morari, ETH, Switzerland
George Pappas, Univ. Pennsylvania, USA
Werner Damm, OFFIS, Germany