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ženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on robotics and automation Ročník 20; číslo 1; s. 136 - 142
Hlavní autoři:	Yi Deng, Jiacun Wang, Zhou, MengChu
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY IEEE 01.02.2004 Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!