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
Wheels
biblio
Interactive Learning of Mobile Robots Kinematics Using ARCore
Submitted by grigby1 on Mon, 03/06/2023 - 3:59pm
Robot kinematics
pubcrawl
resilience
Resiliency
robots
Scalability
Cameras
augmented reality
mobile robots
Reinforced Learning from Human Feedback
Human Factors
Wheels
ARCore
Floors
kinematics
mobile robot kinematics
robotics education
biblio
Static Analysis of Axisymmetric Structure of High Speed Wheel Based on ANSYS
Submitted by aekwall on Thu, 02/02/2023 - 3:22pm
Resiliency
Human behavior
composability
static analysis
pubcrawl
Costs
Production
ANSYS
Axisymmetric Structure
Boundary conditions
Deformable models
finite element analysis
High Speed Wheel
Stress
Wheels
biblio
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs
Submitted by aekwall on Mon, 05/03/2021 - 12:16pm
Brakes
Compositionality
Hardware
Predictive Metrics
process control
pubcrawl
Resiliency
Scalability
scalable verification
sensors
Software
timing
Wheels
biblio
Verification and Validation of a Cyber-Physical System in the Automotive Domain
Submitted by grigby1 on Thu, 06/07/2018 - 2:08pm
probability parameters
EAST-ADL
EAST-ADL constraints
EAST-ADL/Stateflow
energy constraints
extended ERT constraints
formal statistical analysis
functional quality assurance
mapping rules
modified EAST-ADL
nonfunctional quality assurance
parallel languages
probabilistic extension
domain specific architectural language
S/S models
safety-critical automotive embedded system design
semantics denotation
Simulink Design Verifier
Simulink/Stateflow integration
software packages
transformed energy-aware real-time behaviors
UPPAAL models
UPPAAL-SMC
verifiable UPPAAL- SMC models
Verification & Validation
Stochastic Computing Security
probability
security
cyber-physical systems
pubcrawl
Scalability
software quality
Analytical models
Wheels
delays
Stochastic processes
traffic engineering computing
Cameras
resilience
formal verification
CPS
embedded systems
Automotive engineering
Resiliency
quality assurance
power aware computing
software development
Stochastic computing
autonomous traffic sign recognition vehicle
cyber-physical system validation
cyber-physical system verification
biblio
Hybrid magnetic composite (HMC) materials for sensor applications
Submitted by grigby1 on Mon, 12/04/2017 - 11:49am
plastic binder
magnetic permeability
magnetic permeability measurement
magnetic pickup
magnetic powder composition
Magnetic Remanence
magnetic sensors
metal powder
NdFeB
phenolic resin
Magnetic Particles
plastics
pubcrawl
remanence
Resiliency
sensor application
SMC
soft magnetic material
Soft magnetic materials
Wheels
epoxy resin
coercive force
coercivity
composability
composite materials
Compositionality
cyber physical systems
electric guitar
electromagnetic sensor
encoder wheel
bonded magnets
Ferrites
hard magnetic material
HMC material
hybrid magnetic composite material
hybrid magnets
induction remanence characteristics
Iron
magnetic characteristic
Magnetic flux
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