The following pages link to Sayan Mitra (Q432131):
Displayed 38 items.
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Approximate partial order reduction (Q2024376) (← links)
- \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems (Q2151266) (← links)
- Fast and guaranteed safe controller synthesis for nonlinear vehicle models (Q2225131) (← links)
- Safe and stabilizing distributed multi-path cellular flows (Q2344755) (← links)
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems (Q2374566) (← links)
- A Strategy for Automatic Verification of Stabilization of Distributed Algorithms (Q2827449) (← links)
- (Q2848044) (← links)
- Proving Approximate Implementations for Probabilistic I/O Automata (Q2864525) (← links)
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (Q2926638) (← links)
- Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata (Q2986719) (← links)
- Lyapunov abstractions for inevitability of hybrid systems (Q2986758) (← links)
- Computing bounded reach sets from sampled simulation traces (Q2986775) (← links)
- Proofs from simulations and modular annotations (Q2986965) (← links)
- Entropy and Minimal Data Rates for State Estimation and Model Detection (Q2988990) (← links)
- On Convergence of Concurrent Systems under Regular Interactions (Q3184697) (← links)
- Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification (Q3297587) (← links)
- Bounded Verification with On-the-Fly Discrepancy Computation (Q3460584) (← links)
- Convergence Verification: From Shared Memory to Partially Synchronous Systems (Q3543300) (← links)
- A Formalized Theory for Verifying Stability and Convergence of Automata in PVS (Q3543661) (← links)
- Trace-Based Semantics for Probabilistic Timed I/O Automata (Q3613020) (← links)
- Periodically Controlled Hybrid Systems (Q3624588) (← links)
- (Q4418003) (← links)
- Entropy and Minimal Bit Rates for State Estimation and Model Detection (Q4559494) (← links)
- State Estimation of Dynamical Systems with Unknown Inputs (Q4561455) (← links)
- Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems (Q4647849) (← links)
- Multi-agent Safety Verification Using Symmetry Transformations (Q5039508) (← links)
- Controller Synthesis for Linear System With Reach-Avoid Specifications (Q5092060) (← links)
- Optimal Data Rate for State Estimation of Switched Nonlinear Systems (Q5275320) (← links)
- Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs (Q5358528) (← links)
- Model Checking Tap Withdrawal in C. Elegans (Q5376911) (← links)
- Distributed Computing (Q5395145) (← links)
- Anonymized Reachability of Hybrid Automata Networks (Q5500560) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897951) (← links)
- Hybrid Systems: Computation and Control (Q5898998) (← links)
- Controller synthesis made real: reach-avoid specifications and linear dynamics (Q6045012) (← links)
- State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched Systems (Q6199891) (← links)