posted by system || 2458 views || tracked by 3 users: [display]

CPSWeek 2013 : Cyber Physics Systems Week 2013

FacebookTwitterLinkedInGoogle

Link: http://www.cpsweek.org/
 
When Apr 8, 2013 - Apr 11, 2013
Where Philadelphia, PA, USA
Submission Deadline TBD
Categories    embedded systems
 

Call For Papers

Leading researchers from around the world will meet in Philadelphia for a week long conference on Cyber-Physical Systems (CPS) - built-in intelligent computer/communications technology, that promises to enhance efficiency while simplifying daily life.

5 conferences:

HSCC, ICCPS, IPSN, HiCoNS, RTAS.

Workshops

5th Workshop on AdaPtive and Reconfigurable Embedded Systems (APRES 2013)
4th International Workshop on Networks of Cooperating Objects for Smart Cities (CONET/UBICITEC 2013)
3rd International Workshop on Mobile sensing
3rd Workshop on Modeling and Evaluation of Cyber Physical Systems (CyPhy 2013)
2nd Workshop on Formal Composition of Motion Primitives
2nd Workshop on Internet of Things Applications (IoT-App 2013)
1st Workshop on Cyber-Physical Systems Education (CPS-Ed)
1st International Workshop on Hot Topics in Smart City Applications, Architectures and Policies (HotSmartCIty 2013)
Medical Cyber-Physical Systems Workshop on Medical Device Interoperability, Safety, and Security Assurance (MCPS 2013)
Numerical Software Verification (NSV) VI
Workshop on Control, Computation and Communication (COCOCO)
Workshop on Dependability Challenges for Medical Cyber-Physical Systems
Workshop on Signal Processing Advances in Sensor Networks

Tutorials

Introduction to Control Theory and Its Application to Feedback Computing
Model Checking for Probabilistic Hybrid Systems
Model-based design of cyber physical systems
Compositional Design of Cyber-Physical Systems: The META Tool Suite
Executable mathematics with UniTi-C?aSH, as a basis for the design, modeling, evaluation, and synthesis of Cyber Physical Systems
Developing Embedded/Real-Time and Cyber-Physical Systems: Functional Reactive Programming, RTL-based Formal Verification, Response Time Analysis, and Power-Aware Scheduling
Atacama: An Open Research Platform for Mixed-Criticality Real-time Switched Ethernet

Related Resources

EI-CPSIOT 2020   2020 International Conference on Cyber Physical Systems and IoT(CPSIOT 2020)
CTCM 2019   5th International Conference of Control Theory and Computer Modelling
CPCS 2020   Call for Chapters: Security and Privacy in Cyber-Physical Systems: Threats and Defenses
IJITCA 2019   International Journal of Information Technology, Control and Automation
SCIS 2020   4th IEEE Conference on Smart Cities and Innovative Systems
EI CSTFM 2020   2020 International Conference on Smart Transportation and Future Mobility (CSTFM 2020)
SCIS 2020   4th IEEE Conference on Smart Cities and Innovative Systems
EI RACE 2020   2020 Asia-Pacific Conference on Robotics, Automation and Communication Engineering (RACE 2020)
CPSIOT 2020   2020 International Conference on Cyber Physical Systems and IoT(CPSIOT 2020)
IROS 2020   International Conference on Intelligent Robots and Systems