Coordinating individual systems to function dynamically and simultaneously in all situations.
forum
Submitted by Anonymous on Fri, 01/26/2018 - 12:26pm
CALL FOR PAPERS
July 3, 2018 | Barcelona, Spain | https://www.ecrts.org/rtn2018
The 16th Real-Time Networks (RTN) 2018 is a satellite workshop of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018), the premier European venue for presenting research into the broad area of real-time and embedded systems.
event
Submitted by Anonymous on Fri, 01/26/2018 - 12:26pm
16th International Workshop on Real-Time Networks (RTN 2018)
The 16th Real-Time Networks (RTN) 2018 is a satellite workshop of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018), the premier European venue for presenting research into the broad area of real-time and embedded systems.
forum
Submitted by Anonymous on Fri, 01/26/2018 - 11:43am
event
Submitted by Anonymous on Fri, 01/19/2018 - 1:30pm
30th EUROMICRO Conference on Real-Time Systems (ECRTS 2018)
ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the top three international conferences on real-time systems.
Topics include, but are not limited to:
event
Submitted by Anonymous on Thu, 01/04/2018 - 2:14pm
9th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2018)
Satellite workshop of 30th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
forum
Submitted by Anonymous on Fri, 12/08/2017 - 10:46am
CALL FOR PAPERS
IEEE Computer Special Issue on Resiliency in CPS
Important dates:
- Abstract submission (by e-mail to co-1018@computer.org): 1 February 2018
- Full paper submission: 1 March 2018
- Expected publication date: October 2018
Guest editors:
file
Stroke is a leading cause of long-term disability, with 80% of survivors having locomotor impairments. Individuals after stroke typically present with hemiparetic gait, characterized as slow, asymmetric, and inefficient. Our lab has been developing soft wearable cyber-physical sytems, called soft exosuits, that interface with paretic limb after stroke through soft and conformal textile-based structures to assist hemiparetic walking. Soft exosuits transmit mechanical power to human body joints via interaction between functional textiles worn on the body and Bowden cable retraction.
file
This project will design and implement a domain-specific language and compiler for microfluidic laboratory-on-a-chip (LoC) devices based on electrowetting-on-dielectric (EWoD) technology. The Lead PI's team has designed and implemented BioScript, a domain-specific programming language for programmable microfluidics. The BioScript syntax is programmer friendly, with the intention of being accessible to biologists and other researchers and practitioners in the life sciences.
file
This poster surveys results obtained by the project team in the area of logical characterizations for bisimulation over a general mathematical model for cyber-physical systems (CPSs) called Generalized Synchronization Trees (GSTs). GSTs extend traditional models for discrete-event systems with capabilities for modeling non-discrete behavior, and are intended to serve as a vehicle for giving mathematically well-defined notions of compositions for CPSs. Bisimulation represents a notion of equivalence over GSTs that captures when two GSTs are indistinguishable to an outside observer.
