544 Hits in 5.0 sec

An adaptative agent architecture for holonic multi-agent systems

Vincent Hilaire, Abder Koukam, Sebastian Rodriguez
2008 ACM Transactions on Autonomous and Adaptive Systems  
In Proceedings of the Fourth International Conference on Autonomous Agents, C. Sierra, M. Gini, and J. S. Rosenschein, Eds. ACM Press, Barcelona, Catalonia, Spain, 78–79.  ...  This mechanisms allows an agent to choose out of a set of possible behaviors the one which seems the best fitting for a specific context.  ... 
doi:10.1145/1342171.1342173 fatcat:k3oetngfubfg7oeudegzltx6oi

On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems

Franz Wotawa
2021 AAAI Conference on Artificial Intelligence  
We focus especially on testing at the system level where we are interesting not only in assuring a system to be correctly implemented but also to meet given criteria like not contradicting moral rules,  ...  In this position paper, we elaborate on testing issues arising when using AI methods for systems, consider the case of different stages of AI, and start investigating on the usefulness of certain testing  ...  AI4DI is funded by the Austrian Federal Ministry of Transport, Innovation and Technology (BMVIT) under the program "ICT of the Future" between May 2019 and April 2022.  ... 
dblp:conf/aaai/Wotawa21 fatcat:k4tm7ibwcrdoxfrp2anxqd6yla

Autonomics: In Search of a Foundation for Next Generation Autonomous Systems [article]

David Harel, Assaf Marron, Joseph Sifakis
2019 arXiv   pre-print
We discuss what is needed for such a foundation, identify a central aspect thereof, namely, decision-making, and focus on three main challenges: (i) how to specify autonomous system behavior and the associated  ...  We argue that a solid, evolving, publicly available, community-controlled foundation for developing next generation autonomous systems is a must.  ...  Capturing Emergent Behavior.  ... 
arXiv:1911.07133v1 fatcat:w4b6odmgzfhrrkw6s7lxhny5rq

A Survey on Automated Driving System Testing: Landscapes and Trends [article]

Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu
2022 arXiv   pre-print
There has been a great deal of literature that focuses on the testing of ADS, and a number of surveys have also emerged to summarize the technical advances.  ...  Despite these achievements, safety assurance of the systems is still of great significance, since the unsafe behavior of ADS can bring catastrophic consequences and unacceptable economic and social losses  ...  Metamorphic testing has been studied for testing the perception module of an ADS; various metamorphic relations have been proposed, over images [58] and frames in a scenario [59] . • Metamorphic relations  ... 
arXiv:2206.05961v1 fatcat:fxntqw5asvhhzljee62vkmpkme

MDPFuzz: Testing Models Solving Markov Decision Processes [article]

Qi Pang, Yuanyuan Yuan, Shuai Wang
2022 arXiv   pre-print
The Markov decision process (MDP) provides a mathematical framework for modeling sequential decision-making problems, many of which are crucial to security and safety, such as autonomous driving and robot  ...  MDPFuzzer is evaluated on five state-of-the-art models for solving MDPs, including supervised DNN, RL, IL, and multi-agent RL.  ...  Given the wide adoption of FNNs in computer vision (CV), most existing works test FNNs have examined the accuracy of FNN-based image classifiers and their applications, such as autonomous driving systems  ... 
arXiv:2112.02807v3 fatcat:ftksnewuyjcqfciepbjksb2e6e

Follow-the-leader cell migration requires biased cell–cell contact and local microenvironmental signals

Michelle L Wynn, Paul Rupp, Paul A Trainor, Santiago Schnell, Paul M Kulesa
2013 Physical Biology  
Simulations of an agent based model (ABM) that integrates the NC cell behavioral data predict that chain migration critically depends on the interplay of biased cell-cell contact and local microenvironment  ...  We show that when premigratory cranial NC cells (at the pre-otic level) are transplanted into a more caudal region in the head (at the post-otic level), cells alter their characteristic stream behavior  ...  First, a fluorescence image of the area of interest was opened in MetaMorph (Molecular Devices, LLC; Sunnyvale, CA).  ... 
doi:10.1088/1478-3975/10/3/035003 pmid:23735560 pmcid:PMC3756809 fatcat:ajfknuqixfacpobi24aycqab6q

Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review

Nijat Rajabli, Francesco Flammini, Roberto Nardone, Valeria Vittorini
2020 IEEE Access  
By appropriate criteria, a subset of primary studies has been selected for more in-depth analysis.  ...  Autonomous, or self-driving, cars are emerging as the solution to several problems primarily caused by humans on roads, such as accidents and traffic congestion.  ...  However, using safety cages the behavior of the AV can be limited to a safe set of states.  ... 
doi:10.1109/access.2020.3048047 fatcat:7mgx34zscvfavenyznqmbul7cm

The Impact of Artificial Intelligence on Data System Security: A Literature Review

Ricardo Raimundo, Albérico Rosário
2021 Sensors  
Thus, a literature review of AI and system security within the current digital society is opportune.  ...  , to mention a few.  ...  The authors were supported by the GOVCOPP Research Unit of Universidade de Aveiro and ISEC Lisboa, Higher Institute of Education and Sciences.  ... 
doi:10.3390/s21217029 pmid:34770336 pmcid:PMC8586986 fatcat:bxl7r6q5fjdrnntsn3sh4tvgte

Machine Learning Testing in an ADAS Case Study Using Simulation-Integrated Bio-Inspired Search-Based Testing [article]

Mahshid Helali Moghadam, Markus Borg, Mehrdad Saadatmand, Seyed Jalaleddin Mousavirad, Markus Bohlin, Björn Lisper
2022 arXiv   pre-print
This paper presents an extended version of Deeper, a search-based simulation-integrated test solution that generates failure-revealing test scenarios for testing a deep neural network-based lane-keeping  ...  In the newly proposed version, we utilize a new set of bio-inspired search algorithms, genetic algorithm (GA), (μ+λ) and (μ,λ) evolution strategies (ES), and particle swarm optimization (PSO), that leverage  ...  DeepRoad [41] uses a GAN-based metamorphic testing technique to generate input images to test three autonomous driving Udacity DNN models.  ... 
arXiv:2203.12026v1 fatcat:q5imki7hg5ebteynk7lj4k2ty4

Using Machine Learning to Generate Test Oracles: A Systematic Literature Review [article]

Afonso Fontes, Gregory Gay
2021 arXiv   pre-print
Based on a sample of 22 relevant studies, we observed that ML algorithms generated test verdict, metamorphic relation, and - most commonly - expected output oracles.  ...  We have characterized emerging research in this area through a systematic literature review examining oracle types, researcher goals, the ML techniques applied, how the generation process was assessed,  ...  [37] generate oracles for a credit analysis at a bank. Ding et al. [6] generate oracles for an image processing function that classifies a type of cell from image sections.  ... 
arXiv:2107.00906v2 fatcat:upzl2cvh2zbprjaflyz2c3qxd4

Study on Undeveloped Areas Sustainable Development: A Theoretical Framework of Place Marketing Strategy and System Analysis

Jinfu Wang
2009 Journal of Sustainable Development  
A thorough analysis of the mechanism of place marketing strategy sustainable development has been made accordingly.  ...  Place marketing strategy plays a key a key role for the success of regional/local especial undeveloped areas in gaining competitive edge, optimally allocate economic resources, and make long term economic  ...  The essence of these researches is encapsulated in the development of a metamorphic, self-organizing architecture, which comprises planning, control and application agents that collaborate to satisfy both  ... 
doi:10.5539/jsd.v1n3p75 fatcat:icrfwi6iv5d6rbdppkrgx5hi3i

Handsets Malware Threats and Facing Techniques

Marwa M.A, Aliaa A.A, Ebada Sarhan
2011 International Journal of Advanced Computer Science and Applications  
Nowadays, mobile handsets combine the functionality of mobile phones and PDAs.  ...  This paper also presents a new approach to group the different malware containment systems according to their typologies.  ...  In AMM, a mobile network was modeled as a collection of autonomous decision-making entities called agents.  ... 
doi:10.14569/ijacsa.2011.021207 fatcat:vqxgtey6hfhz5g7y5y5na2blde

SAMBA – an architecture for adaptive cognitive control of distributed Cyber-Physical Production Systems based on its self-awareness

Lydia Chaido Siafara, Hedyeh Kholerdi, Aleksey Bratukhin, Nima Taherinejad, Axel Jantsch
2018 e & i Elektrotechnik und Informationstechnik  
Factories in Industry 4.0 are growing in complexity due to the incorporation of a large number of Cyber-Physical System (CPSs) which are logically and often physically distributed.  ...  The proposed architecture increases the ability of the system to ensure the quality of the process by intelligently adapting to rapidly changing environments and conditions.  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License ( licenses/by/4.0/), which permits unrestricted use, distribution  ... 
doi:10.1007/s00502-018-0614-7 fatcat:ytjzsrlpq5h6bfra4utnnsphcu

Testing and verification of neural-network-based safety-critical control software: A systematic literature review

Jin Zhang, Jingyue Li
2020 Information and Software Technology  
Context: Neural Network (NN) algorithms have been successfully adopted in a number of Safety-Critical Cyber-Physical Systems (SCCPSs).  ...  From the industry perspective, improving the interpretability of NNs is a crucial need in safety-critical applications.  ...  Appendix A. Selected studies (sorted based on publication year)  ... 
doi:10.1016/j.infsof.2020.106296 fatcat:3bamhnoqsjcmfkwg33jizjxype

Testing and verification of neural-network-based safety-critical control software: A systematic literature review [article]

Jin Zhang, Jingyue Li
2019 arXiv   pre-print
Context: Neural Network (NN) algorithms have been successfully adopted in a number of Safety-Critical Cyber-Physical Systems (SCCPSs).  ...  From the industry perspective, improving the interpretability of NNs is a crucial need in safety-critical applications.  ...  This work is supported by the Safety, autonomy, remote control and operations of industrial transport systems (SAREPTA) project, which is financed by the Norwegian Research Council with Grant No. 267860  ... 
arXiv:1910.06715v1 fatcat:qtb2l4cnkrbuznr2ay7ojjsn4e
« Previous Showing results 1 — 15 out of 544 results