Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dana Fisman
Reasoning About Finite-State Switched Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
On Reasoning About Finite Sets in Software Model Checking
Proof Systems for Reasoning About Computation Errors
Studia Logica
Philosophy of Science
Logic
History
Formal Reasoning About Systems Biology Using Theorem Proving
PLoS ONE
Multidisciplinary
A Remark About Linear Switched Systems in the Plane
IFAC Proceedings Volumes
Parameter and State Estimation of Switched Affine Systems
Guaranteed Cost Finite-Time Control of Fractional-Order Positive Switched Systems
Advances in Mathematical Physics
Applied Mathematics
Astronomy
Physics
L1 Input-Output Finite-Time Control of Positive Switched Nonlinear Systems
Mathematical Problems in Engineering
Mathematics
Engineering
L∞Control With Finite-Time Stability for Switched Systems Under Asynchronous Switching
Mathematical Problems in Engineering
Mathematics
Engineering
Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems
ACM SIGPLAN Notices
Computer Science
