posted by system || 3860 views || tracked by 13 users: [display]

HSCC 2013 : Hybrid Systems: Computation and Control

FacebookTwitterLinkedInGoogle


Conference Series : Hybrid Systems
 
Link: http://hscc2013.hscc-conference.org/
 
When Apr 8, 2013 - Apr 8, 2013
Where Philadelphia, PA, USA
Submission Deadline Oct 15, 2012
Categories    embedded systems
 

Call For Papers

HSCC 2013 will be held as part of the sixth CPSWeek (Cyber-Physical Systems Week) collocating HSCC, RTAS (Real-Time and Embedded Technology and Applications Symposium), IPSN (International Conference on Information Processing in Sensor Networks), and ICCPS (International Conference on Cyber-Physical Systems).

HSCC 2013 is the 16th in a series of successful annual meetings dedicated to research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors. Such interplay often arises in embedded, reactive and cyber-physical systems, but also appears in other types of systems as well. Academic and industrial researchers are invited to submit manuscripts detailing the latest developments in practice and theory pertaining to the analysis, design, control, optimization, verification, implementation and applications of such hybrid systems.

The previous editions of HSCC were held in Berkeley, USA (1998), Nijmegen, The Netherlands (1999), Pittsburgh, USA (2000), Rome, Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004), Zurich, Switzerland (2005), Santa Barbara, USA (2006), Pisa, Italy (2007), St. Louis, USA (2008), San Francisco, USA (2009), Stockholm, Sweden (2010), Chicago, USA (2011), Beijing, China (2012).


Conference Topics

Hybrid Systems: Computation and Control (HSCC) focuses on research that involves a blend of concepts, tools and techniques from computer science, control theory, and applied mathematics for analysis and control of dynamical systems that exhibit continuous, discrete, or combined (hybrid) dynamics. By drawing on strategies from both computation and control, this field offers techniques applicable to both man-made, cyber-physical systems (ranging from mixed signal circuits and small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models). HSCC has long been a leading, single-track conference for such rigorous, interdisciplinary approaches to dynamical systems with an emphasis on computational aspects. Researchers from academia and industry are invited to submit manuscripts on their latest developments in this area.

Topics of interest include, but are not limited to:

Design, synthesis, analysis, verification, and control;
Computability and complexity;
Programming languages, specification formalisms, and software tools;
Real-time computing and resource-aware control for embedded systems;
Applications in areas such as automotive, communication and wireless networks, avionics, transportation networks, energy systems, mobile robotic networks, environmental monitoring, medical devices, manufacturing, analog and mixed-signal electronics, systems biology, and other sciences;

Related Resources

HSCC 2020   23rd ACM International Conference on Hybrid Systems: Computation and Control
EI CSTFM 2020   2020 International Conference on Smart Transportation and Future Mobility (CSTFM 2020)
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control
EI RACE 2020   2020 Asia-Pacific Conference on Robotics, Automation and Communication Engineering (RACE 2020)
CDC 2020   Conference on Decision and Control
ICONS 2020   The Fifteenth International Conference on Systems
AAAI-MAKE 2020   AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice
EMSA 2020   9th International Conference on Embedded Systems and Applications
PPSN 2020   Parallel Problem Solving from Nature
EI-CACRE 2020   5th International Conference on Automation, Control and Robotics Engineering (CACRE 2020)