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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on robotics and automation Jg. 20; H. 1; S. 136 - 142
Hauptverfasser:	Yi Deng, Jiacun Wang, Zhou, MengChu
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY IEEE 01.02.2004 Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!