NDLI: A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities

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

Computation of piecewise affine terminal cost functions for model predictive control

A type-based analysis of causality loops in hybrid systems modelers

Stability analysis of large-scale networked control systems with local networks: a hybrid small-gain approach

Cells driven by computers: long-term model predictive control of gene expression in yeast

Component based design of hybrid systems: a case study on concurrency and coupling

Inner approximated reachability analysis

On approximation metrics for linear temporal model-checking of stochastic systems

Parameter synthesis for polynomial biological models

Temporal logic inference for classification and prediction from data

Stabilizing discrete-time switched linear systems

Stochastic reachability based motion planning for multiple moving obstacle avoidance

A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities

Model reduction of switched affine systems: a method based on balanced truncation and randomized optimization

JSR: a toolbox to compute the joint spectral radius

Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems

Resilience to intermittent assumption violations in reactive synthesis

Compositionality results for cardiac cell dynamics

Energy and mean-payoff timed games

An LQ sub-optimal stabilizing feedback law for switched linear systems

Timely monitoring of partially observable stochastic systems

Quasi-dependent variables in hybrid automata

Control to facet for polynomial systems

A bounded model checking tool for periodic sample-hold systems

Proofs from simulations and modular annotations

Model measuring for hybrid systems

Powertrain control verification benchmark

Abstraction, discretization, and robustness in temporal logic control of dynamical systems

State-feedback stabilization of discrete-time piecewise affine systems

Simulation-guided lyapunov analysis for hybrid dynamical systems

Abstracting and refining robustness for cyber-physical systems

Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control

Edit distance for timed automata

A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities

Content Provider	ACM Digital Library
Author	Zander, Justyna Mosterman, Pieter J. Han, Zhi Simko, Gabor
Abstract	The physics of technical systems, such as embedded and cyber-physical systems, is frequently modeled using the notion of continuous time. The underlying continuous phenomena may, however, occur at a time scale much faster than the system behavior of interest. In such situations, it is desirable to approximate the detailed continuous-time behavior by discontinuous change. Two classes of discontinuous change can be identified: pinnacles and mythical modes. This work shows how pinnacles are well modeled using a hyperreal notion of time while a superdense notion of time applies well to mythical modes. Thus, the combination, called hyperdense time, is proposed to allow for the expression of the semantics of both pinnacles and mythical modes. Further, the hyperdense semantic domain is translated into a computational representation as a three-dimensional model of time. In particular, continuous-time behavior is mapped onto floating point numbers, while the mythical mode and pinnacle event iterations each map onto an integer dimension. A modified Newton's cradle is used as a case study and to illustrate the computational implementation.
Starting Page	83
Ending Page	92
Page Count	10
File Format	PDF
ISBN	9781450327329
DOI	10.1145/2562059.2562135
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-04-15
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Simulation Semantics Hybrid systems Physical systems Modeling Physics
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

A Hyperdense Semantic Domain for Hybrid Dynamic Systems to Model Different Classes of Discontinuities

A hyperdense semantic domain for discontinuous behavior in physical system models.

A hybrid modeling and simulation methodology for dynamic physical systems (2002)

Modeling and Simulation Semantics for Building Large-Scale Multi-Domain Embedded Systems

A dynamic approach to semantic content modeling

Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs

Modeling Cyber-Physical Systems with Semantic Agents

V.A.: Modeling of Hydraulic Systems for Hardware-in-the-loop Simulation: a Methodology Proposal (1999)

Multi-Domain Semantic Information and Physical Behavior Modeling of Power Systems and Gas Turbines Expanding the Common Information Model

A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities

Similar Documents

A Hyperdense Semantic Domain for Hybrid Dynamic Systems to Model Different Classes of Discontinuities

A hyperdense semantic domain for discontinuous behavior in physical system models.

A hybrid modeling and simulation methodology for dynamic physical systems (2002)

Modeling and Simulation Semantics for Building Large-Scale Multi-Domain Embedded Systems

A dynamic approach to semantic content modeling

Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs

Modeling Cyber-Physical Systems with Semantic Agents

V.A.: Modeling of Hydraulic Systems for Hardware-in-the-loop Simulation: a Methodology Proposal (1999)

Multi-Domain Semantic Information and Physical Behavior Modeling of Power Systems and Gas Turbines Expanding the Common Information Model

A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities