摘要: Distributed autonomous elements like sensors networks, intelligent devices etc. are nowadays widely used. Here, one of the most difficult task is automatic re-planning when something goes wrong: new planning algorithms have to be coped with existing ones in order fulfill performance and soundness requirements. In this work we present a modelling methodology technique based on multi-agent models. The exploits both classical counter-example approaches build an effective multi-expert system able face increasing complexity these systems, implementing procedures that make possible reaching desired goals within temporal constraints.
ieeecomputersociety.org参考文章(27)
Rocco Aversa, Beniamino Di Martino, Francesco Moscato, Critical Systems Verification in MetaMORP(h)OSY international conference on computer safety, reliability, and security. pp. 119- 129 ,(2014) , 10.1007/978-3-319-10557-4_15
Gregory Dudek, Joelle Pineau, Daniel Burfoot, RRT-plan: a randomized algorithm for STRIPS planning international conference on automated planning and scheduling. pp. 362- 365 ,(2006)
Antonio Picariello, Flora Amato, Antonino Mazzeo, Vincenzo Moscato, Exploiting Cloud Technologies and Context Information for Recommending Touristic Paths Studies in Computational Intelligence. pp. 281- 287 ,(2014) , 10.1007/978-3-319-01571-2_33
Massimo Ficco, Salvatore Venticinque, Beniamino Di Martino, mOSAIC-Based Intrusion Detection Framework for Cloud Computing OTM Confederated International Conferences "On the Move to Meaningful Internet Systems". pp. 628- 644 ,(2012) , 10.1007/978-3-642-33615-7_12
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi, Dynamic State Machines for Formalizing Railway Control System Specifications international workshop formal techniques for safety-critical systems. ,vol. 476, pp. 93- 109 ,(2014) , 10.1007/978-3-319-17581-2_7
Mario Barbareschi, Salvatore Del Prete, Francesco Gargiulo, Antonino Mazzeo, Carlo Sansone, Decision Tree-Based Multiple Classifier Systems: An FPGA Perspective multiple classifier systems. pp. 194- 205 ,(2015) , 10.1007/978-3-319-20248-8_17
J. Hoffmann, B. Nebel, The FF planning system: fast plan generation through heuristic search Journal of Artificial Intelligence Research. ,vol. 14, pp. 253- 302 ,(2001) , 10.1613/JAIR.855
Patrik Haslum, Hector Geffner, Heuristic Planning with Time and Resources Supply Restoration in Power Distribution Systems — A Benchmark for Planning under Uncertainty. ,(2014)
Alessandro Cilardo, Mario Barbareschi, Antonino Mazzeo, Secure distribution infrastructure for hardware digital contents Iet Computers and Digital Techniques. ,vol. 8, pp. 300- 310 ,(2014) , 10.1049/IET-CDT.2014.0036
Flora Amato, Angelo Chianese, Vincenzo Moscato, Antonio Picariello, Giancarlo Sperli, SNOPS: a smart environment for cultural heritage applications web information and data management. pp. 49- 56 ,(2012) , 10.1145/2389936.2389947