| Publication | Date of Publication | Type |
|---|
| Indistinguishability in localization and control with coarse information | 2025-11-07 | Paper |
Symmetry-based abstractions for hybrid automata
IEEE Transactions on Automatic Control | 2024-08-16 | Paper |
State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched Systems
IEEE Transactions on Automatic Control | 2024-02-29 | Paper |
Controller synthesis made real: reach-avoid specifications and linear dynamics
Computer Aided Verification | 2023-05-26 | Paper |
Multi-agent safety verification using symmetry transformations
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
Controller Synthesis for Linear System With Reach-Avoid Specifications
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
\textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
(available as arXiv preprint) | 2022-07-01 | Paper |
Approximate partial order reduction
(available as arXiv preprint) | 2021-05-04 | Paper |
| Fast and guaranteed safe controller synthesis for nonlinear vehicle models | 2021-02-04 | Paper |
Using symmetry transformations in equivariant dynamical systems for their safety verification
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Model checking tap withdrawal in \textit{C. elegans}
Hybrid Systems Biology | 2019-05-21 | Paper |
State estimation of dynamical systems with unknown inputs: entropy and bit rates
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Entropy and Minimal Bit Rates for State Estimation and Model Detection
IEEE Transactions on Automatic Control | 2018-12-04 | Paper |
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Optimal data rate for state estimation of switched nonlinear systems
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Entropy and minimal data rates for state estimation and model detection
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Proofs from simulations and modular annotations
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Computing bounded reach sets from sampled simulation traces
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Lyapunov abstractions for inevitability of hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Nonlinear Analysis. Hybrid Systems | 2016-12-15 | Paper |
A strategy for automatic verification of stabilization of distributed algorithms
Formal Techniques for Distributed Objects, Components, and Systems | 2016-10-19 | Paper |
Bounded verification with on-the-fly discrepancy computation
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Hybrid automata-based CEGAR for rectangular hybrid systems
Formal Methods in System Design | 2015-10-30 | Paper |
Anonymized reachability of hybrid automata networks
Lecture Notes in Computer Science | 2015-08-06 | Paper |
Safe and stabilizing distributed multi-path cellular flows
Theoretical Computer Science | 2015-05-18 | Paper |
Hybrid automata-based CEGAR for rectangular hybrid systems
Lecture Notes in Computer Science | 2014-11-03 | Paper |
Proving approximate implementations for probabilistic I/O automata
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| PVS strategies for proving abstraction properties of automata | 2013-09-25 | Paper |
Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems
FM 2012: Formal Methods | 2012-11-08 | Paper |
Verification of distributed systems with local-global predicates
Formal Aspects of Computing | 2012-07-03 | Paper |
On Convergence of Concurrent Systems under Regular Interactions
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Periodically Controlled Hybrid Systems
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Trace-Based Semantics for Probabilistic Timed I/O Automata
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
Lecture Notes in Computer Science | 2008-12-04 | Paper |
Convergence Verification: From Shared Memory to Partially Synchronous Systems
Lecture Notes in Computer Science | 2008-12-02 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Distributed Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 1956640 (Why is no real title available?) | 2003-07-30 | Paper |
