posted by user: mpstew || 2721 views || tracked by 7 users: [display]

Ptolemy 2013 : 10th Biennial Ptolemy Miniconference

FacebookTwitterLinkedInGoogle

Link: http://ptolemy.eecs.berkeley.edu/conferences/13
 
When Nov 7, 2013 - Nov 7, 2013
Where Berkeley, CA
Submission Deadline Jul 31, 2013
Categories    modeling   embedded systems   verification   semantics
 

Call For Papers

The Ptolemy project (http://ptolemy.org) studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components.

The Ptolemy Miniconference is an opportunity for research collaborators and Ptolemy users and extenders from industry, academia, and government to get together, present their work to the Ptolemy community, and hear about related research and results. It is typically held every two years.

In addition, the miniconference will act as an annual meeting for the Center for Hybrid and Embedded Software Systems (CHESS, http://chess.eecs.berkeley.edu).

At Miniconferences in the past we have had presentations and posters from organizations worldwide, plus members of the Ptolemy project describing current research at Berkeley.

This year, we are focusing on Cyber-Physical Systems.

Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, with feedback loops where physical processes affect computations and vice versa. The economic and societal potential of such systems is vastly greater than what has been realized, and major investments are being made worldwide to develop the technology. The technology builds on the older (but still very young) discipline of embedded systems, computers and software embedded in devices whose principle mission is not computation, such as cars, toys, medical devices, and scientific instruments. CPS integrates the dynamics of the physical processes with those of the software and networking, providing abstractions and modeling, design, and analysis techniques for the integrated whole.

Related Resources

CIDR 2019   The 9th Biennial Conference on Innovative Data Systems Research
EI CSTFM 2020   2020 International Conference on Smart Transportation and Future Mobility (CSTFM 2020)
DRS2020   Design Research Society Biennial Conference 2020
ECDMO - Ei & Scopus 2020   2020 4th European Conference on Design, Modeling and Optimization (ECDMO 2020)--EI Compendex, Scopus
Meaning Conference 2020   11th Biennial International Meaning Conference Toronto; Symposium Existential Gratitude
EI RACE 2020   2020 Asia-Pacific Conference on Robotics, Automation and Communication Engineering (RACE 2020)
WGST 2019   6th Biennial Womens Gender Studies Symposium
GRAPP 2020   15th International Conference on Computer Graphics Theory and Applications
MODELSWARD 2020   8th International Conference on Model-Driven Engineering and Software Development
ICCMS - Ei & Scopus 2020   2020 The 12th International Conference on Computer Modeling and Simulation (ICCMS 2020)--EI Compendex, Scopus