Hybrid systems: from verification to falsification by combining motion planning and discrete search

Author： Plaku Erion Kavraki Lydia Vardi Moshe

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.34, Iss.2, 2009-04, pp. : 157-182

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Motion planning for multi-robot assembly systems

By Bonert M. Shu L. H. Benhabib B.

International Journal of Computer Integrated Manufacturing, Vol. 13, Iss. 4, 2000-07 ,pp. : 301-310

Taylor & Francis Ltd

Access to resources Recommend Favorite

Predicting the Performance of Randomized Parallel Search: An Application to Robot Motion Planning

By Challou Daniel J. Gini Maria Kumar Vipin Karypis George

Journal of Intelligent and Robotic Systems, Vol. 38, Iss. 1, 2003-09 ,pp. : 31-53

Springer Publishing Company

Access to resources Recommend Favorite

Formal Description and Verification of Hybrid Rule/Frame-Based Expert Systems

By Orton J.D. Narang U. Anderson G.P. Ligler F.S. Burans J. Shiu S.C.K. Liu J.N.K. Yeung D.S.

Expert Systems with Applications, Vol. 13, Iss. 3, 1997-10 ,pp. : 215-230

Elsevier

Access to resources Recommend Favorite

MULTIROBOT MOTION PLANNING USING HYBRID MNHS AND GENETIC ALGORITHMS

By Kala Rahul

Applied Artificial Intelligence, Vol. 27, Iss. 3, 2013-03 ,pp. : 170-198

Taylor & Francis Ltd

Access to resources Recommend Favorite

An Evolutionary Parallel Tabu Search approach for distribution systems reinforcement planning

By Augugliaro A. Dusonchet L. Sanseverino E.R.

Advanced Engineering Informatics, Vol. 16, Iss. 3, 2002-07 ,pp. : 205-215

Elsevier

Access to resources Recommend Favorite