Task level specification and formal verification of robotics control systems: state of the art and case study

By Kapellos K.   Simon D.   Jourdant M.   Espiau B.  

International Journal of Systems Science, Vol. 30, Iss. 11, 1999-11 ,pp. : 1227-1245

Taylor & Francis Ltd

Access to resources Recommend Favorite

Evaluating the Prometheus methodology through a case study on designing an agent-based holonic control system

By Fletcher Martyn  

International Journal of Manufacturing Research, Vol. 2, Iss. 3, 2007-08 ,pp. : 342-361

Inderscience Publishers

Access to resources Recommend Favorite

Manufacturing scheduling in decentralised holonic systems using artificial intelligence techniques

By Babiceanu Radu F.   Chen F. Frank  

International Journal of Manufacturing Technology and Management, Vol. 11, Iss. 3-4, 2007-04 ,pp. : 389-410

Inderscience Publishers

Access to resources Recommend Favorite

Information requirements analysis for holonic manufacturing systems in a virtual environment

By Farahani Manesh Hamed   Schaefer Dirk   Hashemipour Majid  

The International Journal of Advanced Manufacturing Technology, Vol. 53, Iss. 1-4, 2011-03 ,pp. : 385-398

Springer Publishing Company

Access to resources Recommend Favorite

LQ control of descriptor systems: a spectral factorisation approach

By Stefanovski Jovan  

International Journal of Control, Vol. 83, Iss. 3, 2010-03 ,pp. : 585-600

Taylor & Francis Ltd

Access to resources Recommend Favorite