The following pages link to Radu Grosu (Q216264):
Displaying 40 items.
- Model-order reduction of ion channel dynamics using approximate bisimulation (Q498915) (← links)
- Modular and visual specification of hybrid systems: An introduction to HyCharts (Q698433) (← links)
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← links)
- Statistical model checking (Q2075782) (← links)
- Compressive sensing of high betweenness centrality nodes in networks (Q2150293) (← links)
- Lagrangian reachabililty (Q2151262) (← links)
- Neural flocking: MPC-based supervised learning of flocking controllers (Q2200808) (← links)
- Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452) (← links)
- Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles (Q2402550) (← links)
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans (Q2422015) (← links)
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC (Q2441731) (← links)
- (Q2754091) (← links)
- Spatial networks of hybrid I/O automata for modeling excitable tissue (Q2870297) (← links)
- Compositionality results for cardiac cell dynamics (Q2986971) (← links)
- Computing bisimulation functions using SOS optimization and <i>δ</i> -decidability over the reals (Q2988918) (← links)
- Temporal Logic as Filtering (Q2988956) (← links)
- Model Repair for Probabilistic Systems (Q3000664) (← links)
- The Cayley-Hamilton Theorem for Noncommutative Semirings (Q3073632) (← links)
- ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans (Q3303936) (← links)
- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes (Q3507384) (← links)
- Dynamic Path Reduction for Software Model Checking (Q3605478) (← links)
- Finite Automata as Time-Inv Linear Systems Observability, Reachability and More (Q3624572) (← links)
- (Q4520820) (← links)
- (Q4536343) (← links)
- (Q4536992) (← links)
- (Q4552455) (← links)
- On Temporal Logic and Signal Processing (Q4649290) (← links)
- (Q4953375) (← links)
- Attacking the V: On the Resiliency of Adaptive-Horizon MPC (Q5096101) (← links)
- Compositional Branching-Time Measurements (Q5170747) (← links)
- Modular refinement of hierarchic reactive machines (Q5178866) (← links)
- Quantitative Regular Expressions for Arrhythmia Detection Algorithms (Q5227312) (← links)
- Monte Carlo Methods for Process Algebra (Q5262967) (← links)
- Model Checking Tap Withdrawal in C. Elegans (Q5376911) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703764) (← links)
- Stream-based specification of mobile systems (Q5949546) (← links)
- Algorithmic Minimization of Uncertain Continuous-Time Markov Chains (Q6182729) (← links)
- Tight Continuous-Time Reachtubes for Lagrangian Reachability (Q6511948) (← links)
