Models having two kinds of components that produce the same or similar results.
file
Full title: Converting Multi-Axis Machine Tools Into Subtractive 3D Printers by Using Intelligent Discrete Geometry Data Structures Designed for Parallel and Distributed Computing
forum
Submitted by Anonymous on Mon, 10/05/2015 - 10:44am
forum
Submitted by Anonymous on Tue, 09/01/2015 - 12:34pm
The timed and hybrid systems group at Verimag (http://www-verimag.imag.fr/Tempo,32.html) is one of the leading teams worldwide in verification, simulation and monitoring of continuous and hybrid cyber-physical systems. The research team, consisting of Oded Maler, Thao Dang and Goran Frehse, has made fundamental contributions to the domain conceptually, mathematically and computationally.
forum
Submitted by Anonymous on Fri, 08/28/2015 - 9:59am
19th International Conference on Hybrid Systems: Computation and Control (HSCC 2016)
April 12-14, 2016, Vienna, Austria
HSCC 2016 will be held as part of the eighth Cyber Physical Systems Week (CPS Week), alongside the International Conference on Cyber-Physical Systems (ICCPS), the International Conference on Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), and additional CPS-related workshops.
Conference Scope
forum
Submitted by Anonymous on Mon, 07/20/2015 - 11:25am
event
Submitted by Anonymous on Mon, 06/29/2015 - 3:33pm
12th International Conference on integrated Formal Methods, iFM 2016
http://ifm2016.ru.is | June 1-5, 2016 - Reykjavik, Iceland
news
Submitted by ivan on Wed, 06/24/2015 - 1:30pm
A paper from Carnegie Mellon University titled "Architectural Abstractions for Hybrid Programs" wins a Distinguished Paper Award at the 18th International Symposium for Component-Based Software Engineering (CBSE), part of the CompArch federated conference series (Component-Based Software Engineering and Software Architecture). You can view the presentation slides here.
file
Abstract: Modern cyber-physical systems interact closely with continuous physical processes like kinematic movement. Software component frameworks do not provide an explicit way to represent or reason about these processes. Meanwhile, hybrid program models have been successful in proving critical properties of discrete-continuous systems. These programs deal with diverse aspects of a cyber-physical system such as controller decisions, component communication protocols, and mechanical dynamics, requiring several programs to address the variation.
