tabuada

TypePostAuthorRepliesLast updated
FileA Science of CPS Robustness tabuada021 weeks 3 days ago
NSF CPS Project CPS: Breakthrough: A science of CPS robustness tabuada037 weeks 3 days ago
GroupVerification Tool Library tabuada01 year 10 weeks ago
FileFrontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems tabuada01 year 30 weeks ago
FileFrontier: Collaborative Research:Correct-by-Design Control Software Synthesis for Highly Dynamic Systems tabuada01 year 30 weeks ago
FileA Science of CPS Robustness tabuada01 year 31 weeks ago
FileStudent Experience with Verification Tools in the Design Competition tabuada02 years 20 weeks ago
Forum topicStudent Challenge Video (short version) Chris.vanBuskirk53 years 5 weeks ago
NSF CPS ProjectCPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems tabuada03 years 11 weeks ago
NSF CPS ProjectCPS: Small: Towards Robust Cyber-Physical Systems tabuada03 years 12 weeks ago
FileTowards Robust Cyber-Physical Systems tabuada03 years 12 weeks ago
FileRobust Discrete Synthesis against Unspecified Disturbances tabuada03 years 12 weeks ago
FileTowards Robust Cyber-Physical Systems tabuada03 years 12 weeks ago
FileInput-Output Robustness of Software Systems tabuada03 years 12 weeks ago
FileTime and Controls (When to Exercise Control?) tabuada05 years 16 weeks ago
FileAn Integrated Approach to Energy Management and Security tabuada05 years 20 weeks ago
FileWhat kinds of initiatives are needed to create the next generation of CPS scientists and engineers? tabuada05 years 20 weeks ago
FileIs it About Time for Control? tabuada05 years 49 weeks ago
User ProfilePaulo Tabuada tabuada06 years 15 weeks ago
Fileposterabs.rtf tabuada08 years 12 weeks ago