NDLI: On the Partitioning of Syntax and Semantics For Hybrid Systems Tools

Content Provider	IEEE Xplore Digital Library
Author	Sprinkle, J. Ames, A.D. Pinto, A. Haiyang Zheng Sastry, S.S.
Copyright Year	2005
Description	Author affiliation: Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, Berkeley, CA 94720. sprinkle@EECS.Berkeley.Edu (Sprinkle, J.)
Abstract	Interchange formats are notoriously difficult to finish. That is, once one is developed, it is highly nontrivial to prove (or disprove) generality, and difficult at best to gain acceptance from all major players in the application domain. This paper addresses such a problem for hybrid systems, but not from the perspective of a tool interchange format, but rather that of tool availability in a toolbox. Through the paper we explain why we think this is a good approach for hybrid systems, and we also analyze the domain of hybrid systems to discern the semantic partitions that can be formed to yield a classification of tools based on their semantics. These discoveries give us the foundation upon which to build semantic capabilities, and to guarantee operational interaction between tools based on matched operational semantics.
Starting Page	4694
Ending Page	4699
File Size	4534862
Page Count	6
File Format	PDF
ISBN	0780395670
DOI	10.1109/CDC.2005.1582903
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2005-12-15
Publisher Place	Spain
Access Restriction	Subscribed
Rights Holder	IEEE/EUCA
Subject Keyword	Computational modeling Embedded computing Control system synthesis Process control Control systems Hardware Resistors Capacitors Inductors Design engineering
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

Managing complexity in heterogeneous system specification, simulation, and synthesis

Modeling real-world control systems: beyond hybrid systems

Requirements, primitives and models for systems specification

An Approach for Software/Hardware Co-design in Embedded Systems

Partitioning and synthesis for hybrid architecture simulators

Design of heterogeneous embedded systems using DFCharts model of computation

High level modeling and validation methodologies for embedded systems: bridging the productivity gap

Automated component adaptation by forced simulation

Interactive Graphical Tools for Controller Design

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools

Similar Documents

Managing complexity in heterogeneous system specification, simulation, and synthesis

Modeling real-world control systems: beyond hybrid systems

Requirements, primitives and models for systems specification

An Approach for Software/Hardware Co-design in Embedded Systems

Partitioning and synthesis for hybrid architecture simulators

Design of heterogeneous embedded systems using DFCharts model of computation

High level modeling and validation methodologies for embedded systems: bridging the productivity gap

Automated component adaptation by forced simulation

Interactive Graphical Tools for Controller Design

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools