A formal specification approach for holonic control systems: the ADACOR case

By Leitao Paulo   Colombo Armando W.   Restivo Francisco  

International Journal of Manufacturing Technology and Management, Vol. 8, Iss. 1-2, 2006-01 ,pp. : 37-57

Inderscience Publishers

Access to resources Recommend Favorite

Integrated support based on task models for the design, evaluation, and documentation of interactive safety-critical systems: a case study in the air-traffic control domain

By Santoro F. Paternòand C.  

International Journal of Systems Science, Vol. 33, Iss. 6, 2002-05 ,pp. : 513-527

Taylor & Francis Ltd

Access to resources Recommend Favorite

Robustness property of high-gain observers for closed-loop nonlinear systems: theoretical study and robotics control application

By Guerra Rafael Martinez   Poznyak Alexander   De Leon Vicente Diaz  

International Journal of Systems Science, Vol. 31, Iss. 12, 2000-12 ,pp. : 1519-1529

Taylor & Francis Ltd

Access to resources Recommend Favorite

Simulation in agent-based control systems: MAST case study

By Vrba Pavel  

International Journal of Manufacturing Technology and Management, Vol. 8, Iss. 1-2, 2006-01 ,pp. : 175-187

Inderscience Publishers

Access to resources Recommend Favorite

Control latency for task assignment and scheduling of multiprocessor real-time control systems

By Kim Byung Kook  

International Journal of Systems Science, Vol. 30, Iss. 1, 1999-01 ,pp. : 123-130

Taylor & Francis Ltd

Access to resources Recommend Favorite