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
stochastic hybrid systems
biblio
Formal Verification of Complex Systems: Model-Based and Data-Driven Methods
Submitted by grigby1 on Wed, 05/09/2018 - 2:47pm
pubcrawl
strategy synthesis
stochastic hybrid systems
similarity metrics
scalable verification
Scalability
Resiliency
resilience
Quantitative Verification
active learning
model checking
Metrics
formal abstractions
experiment design
Dynamical Systems
Control Theory
Compositionality
Bayesian inference
file
Cyber-Enabled Stochastic Management of Microgrids
Submitted by Sairaj Dhople on Mon, 02/17/2014 - 4:43pm. Contributors:
Sairaj Dhople
Georgios Giannakis
Mihailo Jovanovic
CPS Domains
Control
Energy
Modeling
CPS Technologies
Foundations
coping with uncertainty
microgrid
stochastic hybrid systems
CFP Paper Submissions
CFP Submissions
2013 National Workshop on Energy Cyber-Physical Systems
2013
Academia
Position Paper
Publications
