loading
Timing Abstraction of Perturbed LTI systems with 2 -based Event-Triggering Mechanism
2016 Edition, December 1, 2016 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

In networked control systems, the advent of event-triggering strategies in the sampling process has resulted in the usage reduction of network capacities, such as communication bandwidth. However, the aperiodic nature of sampling periods generated by...

Timing abstraction of intellectual property blocks
1997 Edition, January 1, 1997 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

This paper describes a method for creating timing models of large blocks (>5,000 transistors) based on the use of static timing analysis. This method captures the block's propagation delays and the slew rates at its outputs. More importantly, it abstracts all the...

Quasy steady state model determination using bond graph for a singularly perturbed LTI system
2011 Edition, August 1, 2011 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

A bond graph model in a integral causality assignment (BGI) for a singularly perturbed system is presented. This system is characterized by fast and slow dynamics. When the singular perturbation method is applied, the fast dynamic differential equation degenerate to an...

Efficient stimulus independent timing abstraction model based on a new concept of circuit block transparency
2002 Edition, January 1, 2002 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

We have developed a new timing abstraction model for digital circuit blocks that is stimulus independent, port based, supports designs with level triggered latches, and can be input into commercial STA (Static Timing Analysis) tools. The model is...

'Functional abstraction' anticipates timing glitches
1990 Edition, Volume 27, April 1, 1990 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

The use of an algebraic alternative simulation called functional abstraction to determine whether processing variations will affect a chip's timing is discussed. Functional abstraction involves constructing a functional model for a digital IC design from its structural...

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control
2015 Edition, Volume 31, June 1, 2015 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

The use of formal methods for synthesis has recently enabled the automated construction of verifiable high-level robot control. Most approaches use a discrete abstraction of the underlying continuous domain, and make assumptions about the physical execution of...

Stabilization of LTI systems by relay feedback with perturbed measurements
2016 Edition, July 1, 2016 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

This paper investigates the stabilization of Linear Time Invariant (LTI) systems by relay feedback. Generally the states measurements are subject to perturbations and noises. However, their effect is often ignored in the design of relay feedback. Here a state-dependent...

Timed-event abstraction and timing constraints in distributed real-time programming
1997 Edition, January 1, 1997 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

Considers a method for extending programming languages that enables the specification of timing properties. The way time is treated is not language-specific and the extension can therefore be included in many existing programming languages. An essential feature is that it enables the...

On Timing Analysis of Component-Based Vehicular Distributed Embedded Systems at Various Abstraction Levels
2016 Edition, April 1, 2016 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

Software development of component-based distributed embedded systems in the vehicle domain can be described at various abstraction levels. One important activity during the development of these systems is to verify their timing requirements by using...

Scheduling of the distributed thread abstraction with timing constraints using RTSJ
2005 Edition, Volume 1, January 1, 2005 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

In this paper we propose a system architecture that supports end-to-end scheduling of the distributed real-time thread abstraction. The real-time specification for Java (RTSJ) is used for the implementation of distributed real-time threads. By using simulations, we...

Advertisement