Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

safety-critical domains

biblio

Visible to the public Uncertain Requirements, Assurance and Machine Learning

Submitted by aekwall on Mon, 02/10/2020 - 12:10pm
  • pragmatic assurance
  • deductive verification
  • financial data processing
  • financial services
  • governing bodies
  • human judgement
  • inductive assurance
  • linked evidence
  • machine-learned components
  • machine-learning
  • open-world functionality
  • conventional machine-learned
  • predefined requirements
  • requirements engineering
  • safety assessment
  • safety-critical domains
  • software construction
  • Standards organizations
  • uncertain requirements
  • vehicle control
  • verification proofs
  • software assurance
  • uncertainty
  • Safety
  • Ontologies
  • Software
  • feature extraction
  • learning (artificial intelligence)
  • machine learning
  • pubcrawl
  • composability
  • social networking (online)
  • social networks
  • security
  • privacy
  • software engineering
  • software development
  • assurance
  • safety-critical software
  • Scalability
  • formal verification
  • assurance case
  • automotive
biblio

Visible to the public Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations

Submitted by willirn1 on Wed, 08/21/2019 - 1:35pm
  • DDEs
  • Delay Differential Equations
  • state variables
  • delayed coupling
  • technical dynamic systems
  • embedded control
  • safety-critical domains
  • Safety
  • safety verifications
  • classical stability theory
  • delay-dependent estimations spectral analysis
  • bounded verification techniques
  • bounded temporal horizon
  • unbounded temporal horizon

Terms of Use  |  ©2023. CPS-VO