posted by user: mpstew || 3903 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

ISUCRS 2026   33rd Biennial Congress of International Society of University Colon and Rectal Surgeons
BDAP 2025   6th International Conference on Big Data and Applications
eLex 2025   Ninth biennial conference on electronic lexicography in the 21st century,
ASUC 2025   16th International Conference on Ad hoc, Sensor & Ubiquitous Computing
Edgington Lectures 2025   The 6th Biennial Dorothy Edgington Lectures and Graduate Workshop
MLDA 2025   4th International Conference on Machine Learning, NLP and Data Mining (MLDA 2025)
VLSIE 2025   6th International Conference on VLSI & Embedded Systems
ELELIJ 2025   Electrical and Electronics Engineering: An International Journal
ICCSM 2025   IEEE--2025 9th International Conference on Computer, Software and Modeling (ICCSM 2025)
IEEE ICITES 2025   IEEE--2025 5th International Conference on Intelligent Technology and Embedded Systems (ICITES 2025)