2019 · 28 citations · 29 references
EngineeringDesignSystems EngineeringCyber-physical SystemsDesign AutomationMachine LearningCyber-physical System Co-designCyber-physical Systems ArchitectureCyber-physical Systems DesignCyber-physical Systems ModelingSafety SystemsSafety-critical SystemsCyber-physical Architecture DesignCyber-physical Systems IntegrationDeploymentSafety CasesSafety-critical System DesignSafety-critical System ModelingSafety-critical Systems AnalysisSystem Architecture Design
Recent advances in machine learning led to the appearance of Learning-Enabled Components (LECs) in Cyber-Physical Systems. LECs are being evaluated and used for various, complex functions including perception and control. However, very little tool support is available for design automation in such systems. This paper introduces an integrated toolchain that supports the architectural modeling of CPS with LECs, but also has extensive support for the engineering and integration of LECs, including support for training data collection, LEC training, LEC evaluation and verification, and system software deployment. Additionally, the toolsuite supports the modeling and analysis of safety cases - a critical part of the engineering process for mission and safety critical systems.
29
Reinforcement Learning: An Introduction
Richard S. Sutton, Andy Barto · IEEE Transactions on Neural Networks · 1998 · 27.1K citations
Reinforcement Learning: An Introduction
IEEE Transactions on Neural Networks · 2005 · 25.8K citations
Reinforcement Learning: An Introduction
Jeffrey D. Johnson, Jinghong Li, Zengshi Chen · Neurocomputing · 2000 · 8.7K citations
Explaining and Harnessing Adversarial Examples
Ian Goodfellow, Jonathon Shlens, Christian Szegedy · arXiv (Cornell University) · 2014 · 8.2K citations · Full text