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
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
vehicle control
biblio
Uncertain Requirements, Assurance and Machine Learning
Submitted by aekwall on Mon, 02/10/2020 - 11:10am
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
A Multi-Agent System for Autonomous Adaptive Control of a Flapping-Wing Micro Air Vehicle
Submitted by el_wehby on Thu, 05/17/2018 - 5:51pm
microrobots
wing movements split-cycle control
vehicles
vehicle pose estimation
vehicle control
telerobotics
subsumption architecture rule base
Storage tanks
rule base design
online learning process
multiagent system architecture
multiagent adaptive controller
multi-agent systems
motion control
Monitoring
mobile robots
adaptive control
learning (artificial intelligence)
knowledge based systems
intrinsic evolution
Force
flapping-wing microair vehicle
fault tolerant control
extrinsic evolution
Color
Cameras
biomimetics
biomimetic flapping-wing vehicles
autonomous aerial vehicles
autonomous adaptive control
agent task scheduling
1239196
biblio
Managing Assurance Cases in Model Based Software Systems
Submitted by grigby1 on Fri, 02/02/2018 - 12:27pm
pubcrawl
vehicle control
traffic engineering computing
tools
Standards organizations
software quality
software development organizations
software assurance
Software
social networks
Scalability
Safety
road vehicles
road safety
reuse
regulatory compliance
assurance cases
model management techniques
model management
model based software systems
ISO standards
ISO 26262 standard
impact assessment
functional safety
financial service
Context
composability
compliance management
co-evolution
Automotive engineering
automotive domain
automobiles
biblio
Research of stability control of distributed drive electric vehicles under motor failure modes
Submitted by BrandonB on Thu, 04/30/2015 - 10:57am
permanent magnet motors
Wheels
vehicles
vehicle security
Vehicle safety
vehicle control
Torque
synchronous motors
stability control
Stability analysis
permanent magnet synchronous motor
actuator reliability
motor failure modes
Motor failure
machine control
Electric Vehicles
distributed drive electric vehicles
DC motors
Control allocation algorithm
CarSim environment
actuators
