Stability of a Cyber-Physical Smart Grid System using Cooperating Invariants
File Details Contributor(s): Ashish Choudhari Contributor(s): Harini Ramaprasad Contributor(s): Tamal Paul Contributor(s): Jonathan W. Kimball Contributor(s): Maciej Zawodniok Contributor(s):...
View ArticleInvariant verification of nonlinear hybrid automata networks of cardiac cells
Verification algorithms for networks of nonlinear hybrid au- tomata (HA) can aid understanding and controling of biological processes such as cardiac arrhythmia, formation of memory, and genetic...
View ArticleSimulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage
Zhenqi Huang, University of Illinois at Urbana-Champaign, Chuchu Fan, University of Illinois at Urbana-Champaign, Alexandru Mereacre, University of Oxford, Sayan Mitra, University of Illinois at...
View ArticleSimulation-based_Verification_of_Cardiac_Pacemakers_withy_Guaranteed_Coverage...
License: Creative Commons 2.5
View ArticleInvariant_Verification_of_Nonlinear_Hybrid_Automata_Networks_of_Cardiac_Cells...
License: Creative Commons 2.5
View ArticleInvariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
Zhenqi Huang, University of Illinois at Urbana-Champaign, Chuchu Fan, University of Illinois at Urbana-Champaign, Alexandru Mereacre, University of Oxford, Sayan Mitra, University of Illinois at...
View ArticleStability of a Cyber-Physical Smart Grid System using Cooperating Invariants
Ashish Choudhari Harini Ramaprasad Tamal Paul Jonathan W. Kimball Maciej Zawodniok Bruce McMillin Sriram Chellappan License: Creative Commons 2.5
View ArticleInvariant verification of nonlinear hybrid automata networks of cardiac cells
Verification algorithms for networks of nonlinear hybrid au- tomata (HA) can aid understanding and controling of biological processes such as cardiac arrhythmia, formation of memory, and genetic...
View ArticleSimulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage
Zhenqi Huang, University of Illinois at Urbana-Champaign, Chuchu Fan, University of Illinois at Urbana-Champaign, Alexandru Mereacre, University of Oxford, Sayan Mitra, University of Illinois at...
View ArticleSimulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage
License: Creative Commons 2.5
View ArticleInvariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
License: Creative Commons 2.5
View ArticleInvariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
Zhenqi Huang, University of Illinois at Urbana-Champaign, Chuchu Fan, University of Illinois at Urbana-Champaign, Alexandru Mereacre, University of Oxford, Sayan Mitra, University of Illinois at...
View ArticleViola: Trustworthy Sensor Notifications for Enhanced Privacy on Mobile Systems
Mirzamohammadi, Saeed, Amiri Sani, Ardalan. 2016. Viola: Trustworthy Sensor Notifications for Enhanced Privacy on Mobile Systems. Proceedings of the 14th Annual International Conference on Mobile...
View ArticleDistributed Detection of Single-Stage Multipoint Cyber Attacks in a Water...
Adepu, Sridhar, Mathur, Aditya. 2016. Distributed Detection of Single-Stage Multipoint Cyber Attacks in a Water Treatment Plant. Proceedings of the 11th ACM on Asia Conference on Computer and...
View ArticleSecure Algorithms for Cyber-Physical Systems
The objective of this project is to formulate and validate a methodology for creating secure algorithms in cyber-physical systems. The algorithms must be secure even when the devices do not trust each...
View ArticleTrusted CPS from Untrusted Components
The nation's critical infrastructures are increasingly dependent on systems that use computers to control vital physical components. Imagine if you lose electric power, your water stops flowing,...
View ArticleTrusted CPS from Untrusted Components
Bruce Mcmillin Jonathan Kimball Rui Bo Jennifer Leopold License: Creative Commons 2.5
View ArticleLearning from Mutants: Using Code Mutation to Learn and Monitor Invariants of...
Chen, Yuqi, Poskitt, Christopher M., Sun, Jun. 2018. Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. 2018 IEEE Symposium on Security and Privacy...
View Article
