NDLI: Mathematical equations as executable models of mechanical systems

Please wait, while we are loading the content...

Mathematical equations as executable models of mechanical systems

Bundle: a group based programming abstraction for cyber physical systems

Sensor placement for lifetime maximization in monitoring oil pipelines

Robustness analysis for the certification of digital controller implementations

Integrating neuromuscular and cyber systems for neural control of artificial legs

Design of cooperative vehicle safety systems based on tight coupling of communication, computing and physical vehicle dynamics

Toward power optimization for communication failure recovery in Body Sensor Networks

Automatic abstraction for verification of cyber-physical systems

A reduced complexity design pattern for distributed hierarchical command and control system

Cyber-physical systems for real-time hybrid structural testing: a case study

Time-based intrusion detection in cyber-physical systems

Toward patient safety in closed-loop medical device systems

A cyber-physical systems approach to energy management in data centers

Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs

Synthesizing switching logic for safety and dwell-time requirements

A concept lattice-based event model for Cyber-Physical Systems

(CPS)^2: integration of center pivot systems with wireless underground sensor networks for autonomous precision agriculture

Cyber-physical codesign of distributed structural health monitoring with wireless sensor networks

A framework for the safe interoperability of medical devices in the presence of network failures

Dependable, efficient, scalable architecture for management of large-scale batteries

Congestion control for spatio-temporal data in cyber-physical systems

MEC-IDC: joint load balancing and power control for distributed Internet Data Centers

Mathematical equations as executable models of mechanical systems

Content Provider	ACM Digital Library
Author	Ames, Aaron Westbrook, Edwin Salama, Cherif O'Malley, Marcia Taha, Walid Zhu, Yun Inoue, Jun Chapoutot, Alexandre Peralta, Marisa Martin, Travis Bhattacharya, Raktim Cartwright, Robert
Abstract	Cyber-physical systems comprise digital components that directly interact with a physical environment. Specifying the behavior desired of such systems requires analytical modeling of physical phenomena. Similarly, testing them requires simulation of continuous systems. While numerous tools support later stages of developing simulation codes, there is still a large gap between analytical modeling and building running simulators. This gap significantly impedes the ability of scientists and engineers to develop novel cyber-physical systems. We propose bridging this gap by automating the mapping from analytical models to simulation codes. Focusing on mechanical systems as an important class of physical systems, we study the form of analytical models that arise in this domain, along with the process by which domain experts map them to executable codes. We show that the key steps needed to automate this mapping are 1) a light-weight analysis to partially direct equations, 2) a binding-time analysis, and 3) symbolic differentiation. In addition to producing a prototype modeling environment, we highlight some limitations in the state of the art in tool support of simulation, and suggest ways in which some of these limitations could be overcome.
Starting Page	1
Ending Page	11
Page Count	11
File Format	PDF
ISBN	9781450300667
DOI	10.1145/1795194.1795196
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2010-04-13
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Mathematical equations as executable models of mechanical systems.

Context-sensitive synthesis of executable functional models of cyber-physical systems

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)

Models as executable designs

Oscillations of weakly coupled identical systems

Mathematical equations as executable models of mechanical systems (2010)

Executable System-of-Systems architecting based on DoDAF meta-model

Singular systems of differential equations as dynamic models for constrained robot systems

Development of a dodaf-based executable architecting approach to analyze system-of-systems alternatives

Mathematical equations as executable models of mechanical systems

Similar Documents

Mathematical equations as executable models of mechanical systems.

Context-sensitive synthesis of executable functional models of cyber-physical systems

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)

Models as executable designs

Oscillations of weakly coupled identical systems

Mathematical equations as executable models of mechanical systems (2010)

Executable System-of-Systems architecting based on DoDAF meta-model

Singular systems of differential equations as dynamic models for constrained robot systems

Development of a dodaf-based executable architecting approach to analyze system-of-systems alternatives

Mathematical equations as executable models of mechanical systems