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
model-checking
biblio
Formal Modeling and Verification of Blockchain System
Submitted by grigby1 on Tue, 11/12/2019 - 4:29pm
Blockchain protocols
collaboration
composability
Compositionality
formal methods
formal verification
model-checking
policy-based governance
privacy
protocol verification
pubcrawl
biblio
On the implications of plug-and-learn adaptive hardware components toward a cyberphysical systems perspective on evolvable and adaptive hardware
Submitted by el_wehby on Thu, 05/17/2018 - 6:52pm
evolving intramodule relationships extraction
plug-and-learn adaptive hardware components
Oscillators
model-checking
model checking
Legged locomotion
Learning systems
Hardware
formal verification
Adaptation models
evolvable and adaptive hardware
evolutionary computation
EAH systems
cyberphysical systems
cyber-physical systems
Atomic measurements
Antenna measurements
1239196
file
Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics
Submitted by Matthew Might on Fri, 11/04/2011 - 11:50am. Contributors:
Matthew Might
Ganesh Gopalakrishnan
John Hollerbach
Dennis Parker
CPS Domains
Medical Devices
Health Care
Robotics
Validation and Verification
Foundations
abstract interpretation
flow networks
hybrid automata
hybrid systems
medical robotics
model-checking
tumor ablation
University of Utah
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics
Submitted by admin on Sun, 07/31/2011 - 6:44pm. Contributors:
Matthew Might
Ganesh Gopalakrishnan
John Hollerbach
Dennis Parker
University of Utah
tumor ablation
model-checking
medical robotics
hybrid systems
hybrid automata
flow networks
abstract interpretation
National CPS PI Meeting 2011
Poster Session: Day 1
Academia
Poster
