Trajectory-Based Theory for Hybrid Systems (Q4558883): Difference between revisions

@@ Property / author @@
-A. Agung Julius
@@ Property / author: A. Agung Julius / rank @@
-Normal rank
@@ Property / author @@
+A. Agung Julius
@@ Property / author: A. Agung Julius / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sostools
@@ Property / describes a project that uses: Sostools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PHAVer
@@ Property / describes a project that uses: PHAVer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MATISSE
@@ Property / describes a project that uses: MATISSE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+STRONG
@@ Property / describes a project that uses: STRONG / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-20988-3_20
+Normal rank
@@ Property / OpenAlex ID @@
+W2296061539
@@ Property / OpenAlex ID: W2296061539 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to hybrid dynamical systems
@@ Property / cites work: An introduction to hybrid dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional abstractions of hybrid control systems
+Normal rank
@@ Property / cites work @@
+Compositional modeling and refinement for hierarchical hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict resolution for air traffic management: a study in multiagent hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Computer-Aided Design
@@ Property / cites work: Formal Methods in Computer-Aided Design / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+The Switching Threshold Reconstruction Problem for Piecewise-Affine Models of Genetic Regulatory Networks
+Normal rank
@@ Property / cites work @@
+Local Identification of Piecewise Deterministic Models of Genetic Networks
+Normal rank
@@ Property / cites work @@
+Q4417983
@@ Property / cites work: Q4417983 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
+Normal rank
@@ Property / cites work @@
+Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process
+Normal rank
@@ Property / cites work @@
+Observability and observer-based control of hybrid systems
+Normal rank
@@ Property / cites work @@
+Approximate bisimulation relations for constrained linear systems
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Approximate simulation relations for hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Approximations of Stochastic Hybrid Systems
@@ Property / cites work: Approximations of Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Test Generation and Coverage for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Trajectory Based Verification Using Local Finite-Time Invariance
+Normal rank
@@ Property / cites work @@
+On contraction analysis for non-linear systems
@@ Property / cites work: On contraction analysis for non-linear systems / rank @@
+Normal rank
@@ Property / cites work @@
+SOSTOOLS and Its Control Applications
@@ Property / cites work: SOSTOOLS and Its Control Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4369656
@@ Property / cites work: Q4369656 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete state observability of hybrid systems
@@ Property / cites work: Discrete state observability of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic diagnosability of hybrid systems
@@ Property / cites work: Probabilistic diagnosability of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Stabilization with relaxed controls
@@ Property / cites work: Stabilization with relaxed controls / rank @@
+Normal rank
@@ Property / cites work @@
+A `universal' construction of Artstein's theorem on nonlinear stabilization
+Normal rank
@@ Property / cites work @@
+Q4003776
@@ Property / cites work: Q4003776 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3057638
@@ Property / cites work: Q3057638 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Matrix Inequalities in System and Control Theory
+Normal rank
@@ Property / cites work @@
+Q3996565
@@ Property / cites work: Q3996565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771497
@@ Property / cites work: Q2771497 / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time trajectory generation for differentially flat systems
+Normal rank
@@ Property / cites work @@
+Analysis and control of nonlinear systems. A flatness-based approach
+Normal rank
@@ Property / cites work @@
+Q5425309
@@ Property / cites work: Q5425309 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4558883