James Weimer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
T4V: exploring neural network architectures that improve the scalability of neural network verification Lecture Notes in Computer Science	2023-08-10	Paper
Verisig 2.0: verification of neural network controllers using Taylor model preconditioning	2022-03-25	Paper
Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators IEEE Control Systems	2022-01-10	Paper
Case study Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
Verisig Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
Continuous Estimation Using Context-Dependent Discrete Measurements IEEE Transactions on Automatic Control	2019-01-28	Paper
Parameter invariant monitoring for signal temporal logic Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)	2018-12-06	Paper
Resilient parameter-invariant control with application to vehicle cruise control Control of Cyber-Physical Systems	2014-10-16	Paper
Parameter-invariant actuator fault diagnostics in cyber-physical systems with application to building automation Control of Cyber-Physical Systems	2014-10-16	Paper
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction Hybrid Systems: Computation and Control	2009-03-11	Paper

Research outcomes over time

This page was built for person: James Weimer