Reasoning About Finite-State Switched Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-19237-1_10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

On Reasoning About Finite Sets in Software Model Checking

2010English

Proof Systems for Reasoning About Computation Errors

Studia Logica
Philosophy of ScienceLogicHistory
2009English

Formal Reasoning About Systems Biology Using Theorem Proving

PLoS ONE
Multidisciplinary
2017English

A Remark About Linear Switched Systems in the Plane

IFAC Proceedings Volumes
2013English

Parameter and State Estimation of Switched Affine Systems

2017English

Guaranteed Cost Finite-Time Control of Fractional-Order Positive Switched Systems

Advances in Mathematical Physics
Applied MathematicsAstronomyPhysics
2017English

L1 Input-Output Finite-Time Control of Positive Switched Nonlinear Systems

Mathematical Problems in Engineering
MathematicsEngineering
2019English

L∞Control With Finite-Time Stability for Switched Systems Under Asynchronous Switching

Mathematical Problems in Engineering
MathematicsEngineering
2012English

Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems

ACM SIGPLAN Notices
Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy