posted by system || 4101 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
MathSJ 2020   Applied Mathematics and Sciences: An International Journal
Special Issue of TEVC 2020   IEEE Transactions on Evolutionary Computation CALL FOR PAPERS for Special Issue: Evolutionary Computation Meets Deep Learning
SenSys 2020   The 18th ACM Conference on Embedded Networked Sensor Systems
AAAI-MAKE 2020   AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice
NECO 2020   9th International Conference of Networks and Communications
JCCAR 2021   2021 International Joint Conference on Control, Automation and Robotics (JCCAR 2021)
DSD 2020   Euromicro Conference on Digital System Design (DSD) 2020
ACM--ICCCR--Ei Compendex, Scopus 2021   ACM--2021 International Conference on Computer, Control and Robotics (ICCCR 2021)--Ei Compendex, Scopus
ACSIT 2020   8th International Conference of Advanced Computer Science & Information Technology