Filters








41,411 Hits in 7.7 sec

Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X

Paula Herber, Julius Adelt, Timm Liebrenz
2021 Software Engineering  
To support industrial design processes, we target the widely used modeling language Simulink together with its Reinforcement Learning Toolbox.  ...  To formally guarantee safety properties, a formal description is required, which is often not available in industrial design processes and hard to obtain for unpredictable machine learning components.  ...  used design languages into formal models with support for learning components.  ... 
dblp:conf/se/HerberAL21 fatcat:jparfx5ywbe73pbzzgwlcvcbvy

Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract)

Imane Lamrani, Ayan Banerjee, Sandeep K.S. Gupta
2020 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
assured design of a CPS.  ...  AI-enabled Cyber-physical systems (CPS) such as artificial pancreas (AP) or autonomous cars are using machine learning to make several critical decisions.  ...  In this paper, we propose a novel approach to solve the given problem of model based safety verification of AI enabled cyber-physical control systems with limited oracle.  ... 
doi:10.1609/aaai.v34i10.7196 fatcat:nuuzmkqt4zgdpmq4cstb24rhyi

Modeling and analytics for cyber-physical systems in the age of big data

Abhishek B. Sharma, Franjo Ivančić, Alexandru Niculescu-Mizil, Haifeng Chen, Guofei Jiang
2014 Performance Evaluation Review  
To provide a proper context, we also summarize CPS modeling approaches, and discuss how modeling and analytics for CPS differs from general purpose IT systems.  ...  However, big data also brings unique opportunities in its wake by enabling new modeling and analytics approaches as well as facilitating novel applications.  ...  The complexity of CPS has resulted in model-based design and development playing a central role in engineering CPS [6, 9, 12] .  ... 
doi:10.1145/2627534.2627558 fatcat:ppusuiqmvfay7cfgmezdtwme7i

Research on DRM-enabled learning objects model

Qingtang Liu, Zongkai Yang, Kun Yan, Jing Jin, Wanting Deng
2005 International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II  
model based on LOM.  ...  Secondly, according to application scenarios, granularity and e-commercial model, the paper probes into DRM-enabled learning object model based on Learning Object Model or Content Packaging standard.  ...  Evaluation of Different DRM-enabled Learning Objects Models When we make use of DRM-enabled learning object model to design our learning content management system with Intellectual Property protection,  ... 
doi:10.1109/itcc.2005.245 dblp:conf/itcc/LiuYYJD05 fatcat:3iow55hanfcyffqpj7x72gmsli

Towards an Interface Description Template for AI-enabled Systems [article]

Niloofar Shadab, Alejandro Salado
2020 arXiv   pre-print
for which it was not designed originally.  ...  a system different than the one for which the component was originally purposed.  ...  This is due to the fact that tracking down the changes withing a CPS and tracing them back to the learning task of AI-enabled component could be challenging.  ... 
arXiv:2007.07250v1 fatcat:ec5es2p7pfao7ha7p34h5hzgw4

TEACHING – Trustworthy autonomous cyber-physical applications through human-centred intelligence [article]

Davide Bacciu, Siranush Akarmazyan, Eric Armengaud, Manlio Bacco, George Bravos, Calogero Calandra, Emanuele Carlini, Antonio Carta, Pietro Cassara, Massimo Coppola, Charalampos Davalas, Patrizio Dazzi (+23 others)
2021 arXiv   pre-print
Further, we provide a discussion of the design choices for the TEACHING system to tackle the aforementioned challenges  ...  The paper discusses the main concepts of the TEACHING approach and singles out the main AI-related research challenges associated with it.  ...  TEACHING builds on AI as a key enabler for autonomous CPS with integrated decision-making capabilities.  ... 
arXiv:2107.06543v1 fatcat:taks3zjl3zgybfh6vofiysjd64

A Review of the Principles of Designing Smart Cyber-Physical Systems for Run-Time Adaptation: Learned Lessons and Open Issues

Joze Tavcar, Imre Horvath
2018 IEEE Transactions on Systems, Man & Cybernetics. Systems  
Smart cyber-physical systems (S-CPSs) are complex engineered systems empowered by cyber-physical computing and equipped with the capability of reasoning, learning, adapting, and evolving.  ...  Specific and common design principles are presented and critically assessed for each advancement level of CPSs.  ...  An integrated model with the possibility for simulation is a must for a complex system with several interdependent components.  ... 
doi:10.1109/tsmc.2018.2814539 fatcat:pehp2c7fr5bjdpfb6u6pkswsri

Knowledge Engineering and Machine Learning for Design and Use in Cyber-Physical Environments

Michael Walch
2019 AAAI Spring Symposia  
A required task for developing cyber-physical systems (CPS) with people and business aspects in the loop is to capture human knowledge & design in an explicit manner.  ...  By connecting conceptual models and operation environments in an intelligent manner, the s*IoT conceptual modeling approach is able to align two levels of iterpretability: one for people concerned with  ...  In the second, functional capabilities of CPS are classified based on the structure of CPS components.  ... 
dblp:conf/aaaiss/Walch19 fatcat:x2npt5fhubdyxfsdnvcjdc47le

The challenges, approaches, and used techniques of CPS for manufacturing in Industry 4.0: a literature review

Baudouin Dafflon, Nejib Moalla, Yacine Ouzrout
2021 The International Journal of Advanced Manufacturing Technology  
Then, we reviewed different studies through a number of synthesized matrices to narrate the challenges, approaches, and used techniques as the key-enablers of the CPS for manufacturing in Industry 4.0.  ...  First, we analyzed the articles' context to identify the major components along with their associated fine-grained constituents of Industry 4.0.  ...  Author contributions All authors contributed to the study conception and design.  ... 
doi:10.1007/s00170-020-06572-4 fatcat:2qo42mk4mjhcricvb6bpy7jizi

Machine Learning for Security and the Internet of Things: the Good, the Bad, and the Ugly

Fan Liang, William G. Hatcher, Weixian Liao, Weichao Gao, Wei Yu
2019 IEEE Access  
In this paper, we consider the good, the bad, and the ugly use of machine learning for cybersecurity and CPS/IoT.  ...  Thus, we consider existing mechanisms with the potential to improve target acquisition and existing threat patterns, as well as those that can enable novel attacks yet to be seen.  ...  For instance, Xu et al. [99] designed reinforcement learning based technique that could enable the automatic configuration of control and networking components in manufacturing CPS. Liang et al.  ... 
doi:10.1109/access.2019.2948912 fatcat:wxd6imn62fgufdmfh3gtaijeru

A Progressive Model to Enable Continual Learning for Semantic Slot Filling

Yilin Shen, Xiangyu Zeng, Hongxia Jin
2019 Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP)  
ProgModel consists of a novel context gate that transfers previously learned knowledge to a small size expanded component; and meanwhile enables this new component to be fast trained to learn from new  ...  After a slot filling model is trained on precollected data, it is crucial to continually improve the model after deployment to learn users' new expressions.  ...  an adjusted lower learning rate (we use 0.3 times of base model learning rate which has the best performance) on the new training set U t ; (3) FT-Cp-AttRNN : copies the previous model and fine tunes  ... 
doi:10.18653/v1/d19-1126 dblp:conf/emnlp/ShenZJ19 fatcat:dwxcqqbtcjd7daspa367vkvqle

Towards next generation cyber-physical systems and digital twins for construction

Abiola A. Akanmu, Chimay J. Anumba, Omobolanle O. Ogunseiju
2021 Journal of Information Technology in Construction  
modeling technologies, sensing technologies, data analysis, storage and communication technologies, human-computer interaction technologies, and robotics.  ...  industry 4.0 promises to improve project efficiency, reduce waste and improve productivity, the transition to this will depend on the successful adoption of many emerging technologies such as virtual design  ...  CPS and DT Virtual design and modeling technologies Various virtual design and modeling platforms (e.g., BIM and game engines) exist for creating digital models and simulating construction work.  ... 
doi:10.36680/j.itcon.2021.027 fatcat:spcuato7xnadpgmc2oswm322wa

Towards Open Standards

Changtao Qu, Wolfgang Nejdl
2003 International Journal of Distance Education Technologies  
In the latter two implementations, all learning resources contained in an existing Java course are re-designed according to the SCORM 1.1 and SCORM 1.2 Content Model and further annotated with corresponding  ...  In this paper we present the evolution of a collaborative courseware generating system that is featured by XML-based course structure representation, JSP-based dynamic courseware presentation, and WebDAV-based  ...  This API Adapter Applet provides the communication to the RTE server-side Servlet components for Data Model persistence management.  ... 
doi:10.4018/jdet.2003070105 fatcat:yfzuegoaibah7isz7uu4zkcy5y

Artificial intelligence and machine learning in dynamic cyber risk analytics at the edge

Petar Radanliev, David De Roure, Rob Walton, Max Van Kleek, Rafael Mantilla Montalvo, La'Treall Maddox, Omar Santos, Peter Burnap, Eirini Anthi
2020 SN Applied Sciences  
With the application of social science's grounded theory, the framework details a new process for a prototype of AI-enabled dynamic cyber risk analytics at the edge.  ...  This resulted in the modelling of the connections and interdependencies between a system's edge components to both external and internal services and systems.  ...  Such platforms can enable complex models, such as cyber city designs [50] using structured communications for mobile CPS [51] , cross-domain end-to-end communication among objects and cloud computing  ... 
doi:10.1007/s42452-020-03559-4 fatcat:utrws565jngpdozzw2ghbt3j6q

SA 2019 Placeholder Page

2019 2019 First International Conference on Societal Automation (SA)  
The approach enables the dynamic allocation of hardware IP cores as a mechanism to enhance the processing performance of IoT end nodes in analogy to the needs of the IoT infrastructure.  ...  In this paper we tangle with the mechanisms and solutions of transferring intelligence to the IoT edge level and we document existing approaches on how to include hardware reconfigurability on the edge  ...  ACKNOWLEDGMENT We acknowledge support of this work by the project I3T -Innovative Application of Industrial Internet of Things (IIoT) in Smart Environments (MIS 5002434) which is implemented under the Action for  ... 
doi:10.1109/sa47457.2019.8938038 fatcat:463hphhfafddpmroyoy2ximv3e
« Previous Showing results 1 — 15 out of 41,411 results