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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on robotics and automation Ročník 20; číslo 1; s. 136 - 142
Hlavní autori:	Yi Deng, Jiacun Wang, Zhou, MengChu
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York, NY IEEE 01.02.2004 Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!