In this paper we present a new symbolic, computer algebra based approach to hybrid systems. Hybrid systems are systems containing both, continuous and discrete ...
In this paper we present a new symbolic, computer algebra based approach to hybrid systems. Hybrid systems are systems containing both, continuous and ...
authors. Von Mohrenschildt, Martin George. status. published. publication date. January 2001. has subject area. 0102 Applied Mathematics (FoR) ...
[PDF] An Algebraic Approach to Hybrid Systems - Robert L. Grossman
papers.rgrossman.com › journal-014
Abstract. We propose an algebraic model for hybrid systems and illustrate its usefulness by proving theorems in realization theory using this viewpoint.
This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid ...
Missing: Algebraic | Show results with:Algebraic
Symbolic Verification of Hybrid Systems supported by Mathematical Services * ... This approach, however, requires the solution of non-trivial math- ematical ...
This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid ...
Missing: Algebraic | Show results with:Algebraic
People also ask
What is algebraic verification?
What is symbolic algebra manipulation?
In this tutorial, we survey a number of state-of-the-art verification techniques for hybrid systems, especially a logical approach for hybrid systems analysis [ ...
We discuss both versions in this chapter and show how to convert verification problems using behavioral relationships into verification problems using ...
In stock
The latest development is the combination of symbolic-algebraic methods and verification methods to so-called hybrid methods. ? This book contains a ...
Missing: Approach. | Show results with:Approach.