Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
File
Learning to Walk - Optimal Gait Synthesis and Online Learning for Terrain-Aware Legged Locomotion
Abstract:
The goal of the proposed research is to advance the science of cyber-physical systems by more explicitly tying sensing, perception, and computing to the optimization and control of physical systems whose properties are variable and uncertain. The CPS platform to be studied is that of a bipedal robot locomoting over granular ground material with uncertain physical properties (sand, gravel, dirt, etc.).
Submitted by Aaron Ames on February 1st, 2016
Abstract:
Recent years have seen medical devices go from being monolithic to a collection of integrated systems. Modern medical device systems have thus become a distinct class of cyber-physical systems called Medical Cyber Physical Systems (MCPS), featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially thepatient whose safety is of the utmost concern.
Submitted by Insup Lee on January 31st, 2016
Abstract:
The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components.
Submitted by Peter Seiler on January 30th, 2016
Abstract:
Optimization algorithms used in a real-time and safety-critical context offer the potential for considerably advancing robotic and autonomous systems by improving their ability to execute complex missions.
Submitted by Eric Feron on January 29th, 2016
Event
WCET 2016
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016)
Toulouse, France | 5th July 2016 | http://wcet2016.compute.dtu.dk
in conjunction with the Euromicro Conference on Real-Time Systems (ECRTS)
WCET 2016 is kindly supported by TACLe (www.tacle.eu), an European COST-Action on Timing Analysis on Code-Level.
GOALS AND TOPICS
Submitted by Anonymous on January 28th, 2016
Event
SAMOS XVI
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XVI)
Samos, Greece | July 18-21, 2016 | http://www.samos-conference.com
Submitted by Anonymous on January 28th, 2016
Event
WOCO 2016
1st IFAC/IFIP Workshop on Computers and Control (WOCO 2016)
Sponsored and Organised by IFAC TC3.1 Technical Committee on Computers for Control Co-Sponsored by IFIP WG 10.5 Design and Engineering of Electronic Systems
WOCO 2016 is the first IFAC Workshop on Computer and Control following previous workshops organized by IFAC Technical Committee 3.3 as Workshop on Real-Time Programming (WRTP) and Algorithms and Architectures for Real-Time Control (AARTC) that were successfully organised during 30 editions.
Submitted by Anonymous on January 28th, 2016
Event
MECO’2016
5th Mediterranean Conference on Embedded Computing (MECO’2016)
Bar, Montenegro | June 12-16, 2016 | http://embeddedcomputing.me
Submitted by Anonymous on January 28th, 2016
Event
RoboCup 2016
RoboCup International Symposium 2016
OVERVIEW
The 20th Annual RoboCup International Symposium will be held in conjunction with RoboCup 2016. The Symposium is a primary venue for presentation and discussion of scientific contributions to a variety of research areas related to all RoboCup divisions (RoboCup Soccer, RoboCup Rescue, RoboCup at Home, RoboCup at Work, and RoboCup Junior). Its scope includes, but is not restricted to, research and educational activities in robotics and artificial intelligence.
Submitted by Anonymous on January 27th, 2016