会议名称(中文)： 第17届混合动力系统的计算与控制国际会议
会议名称(英文)： 17th International Conference on Hybrid Systems: Computation and Control
所属学科： 计算数学与科学工程计算,自动控制理论与技术,控制系统仿真技术
开始日期： 2014-04-15
结束日期： 2014-04-17
所在国家： 德国
所在城市： 德国
具体地点： Berlin , Germany
主办单位： 美国计算机学会
协办单位： IEEE Control Systems Society
[ 组织结构 ]
程序委员会主席： Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany John Lygeros, ETH Zurich, Switzerland
[ 重要日期 ]
全文截稿日期： 2013-10-14
[ 会务组联系方式 ]
E-MAIL： hscc14-inquiries@informatik.uni-oldenburg.de
会议网站： http://2014.hscc-conference.org/
会议背景介绍：
Welcome to the home page of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014). HSCC 2014 will be held as part of the seventh Cyber Physical Systems (CPS) Week, alongside the Real-Time and Embedded Technology and Applications Symposium (RTAS), the International Conference on Information Processing in Sensor Networks (IPSN), and the International Conference on Cyber-Physical Systems (ICCPS).
Conference Scope
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 combined continuous and discrete (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 research in this area.
征文范围及要求：
Topics of interest include, but are not limited to:
Design, synthesis, analysis, verification, and control of hybrid systems
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 |
