Sayan Mitra

IEEE Trans. Autom. Control., December, 2023

Perception Contracts for Safety of ML-Enabled Systems.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., October, 2023

Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing.

[BibT_eX]

[DOI]

CoRR, 2023

Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning.

[BibT_eX]

[DOI]

Christopher K. Zeitler

CoRR, 2023

Learning-based Perception Contracts and Applications.

[BibT_eX]

[DOI]

Dawei Sun

Benjamin C. Yang

CoRR, 2023

ChatGPT - a Blessing or a Curse for Undergraduate Computer Science Students and Instructors?

[BibT_eX]

[DOI]

CoRR, 2023

Gamified Smartphone-App Interventions on Behaviour and Metabolic Profile in Patients at Risk of Cardiovascular Disease.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2023 - The Future Is Accessible, 2023

Verification of ℒ<sub>1</sub> Adaptive Control using Verse Library: A Case Study of Quadrotors.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Safety of the Stanley Controller with Curved Lanes and Noisy Perception.

[BibT_eX]

[DOI]

Hongyi Li

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Parallel and Incremental Verification of Hybrid Automata with Ray and Verse.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

RTAEval: A Framework for Evaluating Runtime Assurance Logic.

[BibT_eX]

[DOI]

Christopher K. Zeitler

William Shen

Julien Alexandre Dit Sandretto

Proceedings of the Automated Technology for Verification and Analysis, 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Luca Geretti

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

[BibT_eX]

[DOI]

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Controller Synthesis for Linear System With Reach-Avoid Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Multi-Agent Motion Planning From Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2022

MLEFlow: Learning from History to Improve Load Balancing in Tor.

[BibT_eX]

[DOI]

Proc. Priv. Enhancing Technol., 2022

Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing.

[BibT_eX]

[DOI]

CoRR, 2022

Learning Certifiably Robust Controllers Using Fragile Perception.

[BibT_eX]

[DOI]

CoRR, 2022

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos.

[BibT_eX]

[DOI]

CoRR, 2022

Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems.

[BibT_eX]

[DOI]

Computer, 2022

Model structure takes guesswork out of state estimation: technical perspective.

[BibT_eX]

[DOI]

Commun. ACM, 2022

NeuReach: Learning Reachability Functions from Simulations.

[BibT_eX]

[DOI]

Dawei Sun

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception.

[BibT_eX]

[DOI]

Michael Abraham

Aaron Mayne

Tristan Perez

Ítalo Romani de Oliveira

Proceedings of the International Conference on Embedded Software, 2022

Multi-agent motion planning using differential games with lexicographic preferences.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions.

[BibT_eX]

[DOI]

CoRR, 2021

Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems.

[BibT_eX]

[DOI]

Sung Woo Jeon

Proceedings of the IEEE Security and Privacy Workshops, 2021

HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Security and Privacy Workshops, 2021

SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Control Technology and Applications, 2021

SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions.

[BibT_eX]

[DOI]

Yangge Li

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Planning in Dynamic and Partially Unknown Environments.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Koord: a language for programming and verifying distributed robotics application.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2020

SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification.

[BibT_eX]

[DOI]

Yangge Li

CoRR, 2020

State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation.

[BibT_eX]

[DOI]

CoRR, 2020

Symmetry Abstractions for Hybrid Systems and their Applications.

[BibT_eX]

[DOI]

Katherine Rose Driggs-Campbell

CoRR, 2020

Differential Privacy for Sequential Algorithms.

[BibT_eX]

[DOI]

CoRR, 2020

Multi-agent Safety Verification Using Symmetry Transformations.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Online Monitoring for Safe Pedestrian-Vehicle Interactions.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models.

[BibT_eX]

[DOI]

Katherine Rose Driggs-Campbell

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

[BibT_eX]

[DOI]

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Optimistic Optimization for Statistical Model Checking with Regret Bounds.

[BibT_eX]

[DOI]

CoRR, 2019

Online monitoring for safe pedestrian-vehicle interactions.

[BibT_eX]

[DOI]

CoRR, 2019

Dione: A Protocol Verification System Built with Dafny for I/O Automata.

[BibT_eX]

[DOI]

Chiao Hsieh

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification.

[BibT_eX]

[DOI]

Navid Mokhlesi

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Simulation-Driven Reachability Using Matrix Measures.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2018

Entropy and Minimal Bit Rates for State Estimation and Model Detection.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features.

[BibT_eX]

[DOI]

Bolun Qi

IEEE Des. Test, 2018

CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper).

[BibT_eX]

[DOI]

CoRR, 2018

TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks.

[BibT_eX]

[DOI]

Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 2018

Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract].

[BibT_eX]

[DOI]

Ritwika Ghosh

Sasa Misailovic

Proceedings of the 2018 Workshop on Advanced Tools, 2018

SDCworks: a formal framework for software defined control of smart manufacturing systems.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

CODEV: Automated Model Predictive Control Design and Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Approximate Partial Order Reduction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

[BibT_eX]

[DOI]

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Verifying nonlinear analog and mixed-signal circuits with inputs.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

[BibT_eX]

[DOI]

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2017

Road to safe autonomy with data and formal reasoning.

[BibT_eX]

[DOI]

Bolun Qi

CoRR, 2017

Optimal Data Rate for State Estimation of Switched Nonlinear Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Verifying safety of an autonomous spacecraft rendezvous mission.

[BibT_eX]

[DOI]

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Verified hybrid LQ control for autonomous spacecraft rendezvous.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Porting Code Across Simple Mobile Robots.

[BibT_eX]

[DOI]

Yixiao Lin

Shuting Li

CoRR, 2016

Approximate Partial Order Reduction.

[BibT_eX]

[DOI]

CoRR, 2016

Entropy and Minimal Data Rates for State Estimation and Model Detection.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Controller synthesis for linear dynamical systems with adversaries.

[BibT_eX]

[DOI]

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Locally optimal reach set over-approximation for nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Embedded Software, 2016

Entropy notions for state estimation and model detection with finite-data-rate measurements.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Differential privacy in control and network systems.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Safe and stabilizing distributed multi-path cellular flows.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Hybrid automata-based CEGAR for rectangular hybrid systems.

[BibT_eX]

[DOI]

Pavithra Prabhakar

Formal Methods Syst. Des., 2015

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage.

[BibT_eX]

[DOI]

IEEE Des. Test, 2015

Controller Synthesis for Linear Time-varying Systems with Adversaries.

[BibT_eX]

[DOI]

CoRR, 2015

C2E2: A Verification Tool for Stateflow Models.

[BibT_eX]

[DOI]

Matthew Potok

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems.

[BibT_eX]

[DOI]

Yixiao Lin

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015

Differentially Private Distributed Optimization.

[BibT_eX]

[DOI]

Nitin H. Vaidya

Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

C2E2: a tool for verifying annotated hybrid systems.

[BibT_eX]

[DOI]

Matthew Potok

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Model Checking Tap Withdrawal in C. Elegans.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

A Strategy for Automatic Verification of Stabilization of Distributed Algorithms.

[BibT_eX]

[DOI]

Ritwika Ghosh

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Progress on Powertrain Verification Challenge with C2E2.

[BibT_eX]

[DOI]

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Meeting a Powertrain Verification Challenge.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Bounded Verification with On-the-Fly Discrepancy Computation.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Synthesis and verification of motor-transmission shift controller for electric vehicles.

[BibT_eX]

[DOI]

Hongxu Chen

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Proofs from simulations and modular annotations.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Proving abstractions of dynamical systems through numerical simulations.

[BibT_eX]

[DOI]

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

On the cost of differential privacy in distributed control systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Anonymized Reachability of Hybrid Automata Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

Motor-Transmission Drive System: a Benchmark Example for Safety Verification.

[BibT_eX]

[DOI]

Hongxu Chen

Guangyu Tian

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Verifying Cyber-Physical Interactions in Safety-Critical Systems.

[BibT_eX]

[DOI]

Tichakorn Wongpiromsarn

Richard M. Murray

IEEE Secur. Priv., 2013

Verification of annotated models from executions.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software, 2013

2012

Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle.

[BibT_eX]

[DOI]

Tichakorn Wongpiromsarn

Andrew G. Lamperski

Richard M. Murray

ACM Trans. Embed. Comput. Syst., 2012

Bounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid Automata

[BibT_eX]

[DOI]

Kyoung-Dae Kim

P. R. Kumar

CoRR, 2012

Differentially private iterative synchronous consensus.

[BibT_eX]

[DOI]

Geir E. Dullerud

Proceedings of the 11th annual ACM Workshop on Privacy in the Electronic Society, 2012

Static and Dynamic Analysis of Timed Distributed Traces.

[BibT_eX]

[DOI]

Adam Zimmerman

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Computing bounded reach sets from sampled simulation traces.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Lyapunov abstractions for inevitability of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

A Small Model Theorem for Rectangular Hybrid Automata Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

2011

Verification of distributed systems with local-global predicates.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2011

Abstraction Refinement for Stability.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

Sandboxing Controllers for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

A step towards verification and synthesis from simulink/stateflow models.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata.

[BibT_eX]

[DOI]

Kyoung-Dae Kim

P. R. Kumar

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Stability of digitally interconnected linear systems.

[BibT_eX]

[DOI]

Cédric Langbort

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Safe Flocking in Spite of Actuator Faults.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions.

[BibT_eX]

[DOI]

Stanley Bak

Ashley Greer

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

On the Theory of Stochastic Processors.

[BibT_eX]

[DOI]

Rakesh Kumar

Dean Glazeski

Proceedings of the QEST 2010, 2010

Safe and Stabilizing Distributed Cellular Flows.

[BibT_eX]

[DOI]

Karthik Manamcheri

Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010

Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition.

[BibT_eX]

[DOI]

Kyoung-Dae Kim

P. R. Kumar

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Self-stabilizing robot formations over unreliable networks.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2009

Stability of Distributed Algorithms in the Face of Incessant Faults.

[BibT_eX]

[DOI]

R. E. Lee DeVille

Proceedings of the Stabilization, 2009

Periodically Controlled Hybrid Systems.

[BibT_eX]

[DOI]

Tichakorn Wongpiromsarn

Richard M. Murray

Andrew G. Lamperski

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

On Convergence of Concurrent Systems under Regular Interactions.

[BibT_eX]

[DOI]

Pavithra Prabhakar

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Hybrid Input Output Automata for composable conveyor systems.

[BibT_eX]

[DOI]

Shivakumar Sastry

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

Verifying average dwell time of hybrid systems.

[BibT_eX]

[DOI]

Nancy A. Lynch

ACM Trans. Embed. Comput. Syst., 2008

Specifying and proving properties of timed I/O automata using Tempo.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2008

A Formalized Theory for Verifying Stability and Convergence of Automata in PVS.

[BibT_eX]

[DOI]

K. Mani Chandy

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Self-stabilizing Mobile Robot Formations with Virtual Nodes.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2008

Convergence Verification: From Shared Memory to Partially Synchronous Systems.

[BibT_eX]

[DOI]

K. Mani Chandy

Concetta Pilotto

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007

A verification framework for hybrid systems.

[BibT_eX]

[DOI]

PhD thesis, 2007

Verifying Statistical Zero Knowledge with Approximate Implementations.

[BibT_eX]

[DOI]

Ling Cheung

Olivier Pereira

IACR Cryptol. ePrint Arch., 2007

Trace-Based Semantics for Probabilistic Timed I/O Automata.

[BibT_eX]

[DOI]

Nancy A. Lynch

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Learning Cycle-Linear Hybrid Automata for Excitable Cells.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2006

Proving Approximate Implementations for Probabilistic I/O Automata.

[BibT_eX]

[DOI]