Pages that link to "Item:Q673868"
From MaRDI portal
The following pages link to The algorithmic analysis of hybrid systems (Q673868):
Displaying 50 items.
- Numerical bifurcation analysis of the bipedal spring-mass model (Q282226) (← links)
- On the decidability and complexity of problems for restricted hierarchical hybrid systems (Q338386) (← links)
- Recent advances in program verification through computer algebra (Q351971) (← links)
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems (Q440664) (← links)
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Computational challenges in systems biology (Q458470) (← links)
- Control: a perspective (Q463779) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- Barrier certificates revisited (Q507352) (← links)
- On the distinguishability and observer design for single-input single-output continuous-time switched affine systems under bounded disturbances with application to chaos-based modulation (Q518912) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Automata and logics over finitely varying functions (Q636272) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Analysis of faults in cyber-physical systems by finite discrete-time Markov chains (Q821298) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← links)
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Reliable social sensing with physical constraints: analytic bounds and performance evaluation (Q892996) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Implementing biological hybrid systems: allowing composition and avoiding stiffness (Q907533) (← links)
- Timed discrete event control of parallel production lines with continuous outputs (Q939012) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- First-order hybrid Petri nets. An application to distributed manufacturing systems (Q1003528) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation (Q1026394) (← links)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
