Consistency verification in modeling of real-time systems

To real-time system designers, end-to-end time delay between external inputs and outputs is among the most important constraints. To ensure these system-wide constraints are satisfied, each of the constituent components is subject to a set of derived intermediate constraints. Since the system-wide c...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on robotics and automation Vol. 20; no. 1; pp. 136 - 142
Main Authors:	Yi Deng, Jiacun Wang, Zhou, MengChu
Format:	Journal Article
Language:	English
Published:	New York, NY IEEE 01.02.2004 Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Applied sciences Automation Computer science Computer science; control theory; systems Consistency Control theory. Systems Delay effects Design engineering Electronic mail Exact sciences and technology Flexible manufacturing systems Petri nets Real time Real time systems Retarding Robotics Robots State-space methods Time delay Time factors Time measurements Timing System architecture Consistency State space method Software component Real time Modeling Time response Robotics Flexible manufacturing system Delay time Timing Delayed time Petri net
ISSN:	1042-296X, 2374-958X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!