PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL

2012 ◽  
pp. 147-161 ◽  
Author(s):  
Heber Herencia-Zapana ◽  
Romain Jobredeaux ◽  
Sam Owre ◽  
Pierre-Loïc Garoche ◽  
Eric Feron ◽  
...  
Keyword(s):  
Linear Algebra ◽  
Control Software ◽  
Software Algorithms

Linear Algebra

2019 ◽  
pp. 1-2
Keyword(s):  
Linear Algebra

Linear Algebra

2020 ◽  
pp. 546-563
Keyword(s):  
Linear Algebra

Linear algebra

AccessScience ◽  
2015 ◽  
Keyword(s):  
Linear Algebra

Numerical linear algebra and examples in control

1983 ◽  
Author(s):  
Alan J. Laub
Keyword(s):  
Linear Algebra ◽  
Numerical Linear Algebra

Operator Interface Development for Control Software

1992 ◽  
Author(s):  
David M. Auslander
Keyword(s):  
Control Software ◽  
Operator Interface

Matrix Completions, Moments, and Sums of Hermitian Squares

2011 ◽  
Author(s):  
Mihály Bakonyi ◽  
Hugo J. Woerdeman
Keyword(s):  
Linear Algebra ◽  
Undergraduate Students ◽  
Complex Analysis ◽  
Measure Theory ◽  
Complex Function ◽  
Complex Function Theory ◽  
Extensive Discussion ◽  
The Subject ◽  
Processing Control ◽  
Developing Area

Intensive research in matrix completions, moments, and sums of Hermitian squares has yielded a multitude of results in recent decades. This book provides a comprehensive account of this quickly developing area of mathematics and applications and gives complete proofs of many recently solved problems. With MATLAB codes and more than two hundred exercises, the book is ideal for a special topics course for graduate or advanced undergraduate students in mathematics or engineering, and will also be a valuable resource for researchers. Often driven by questions from signal processing, control theory, and quantum information, the subject of this book has inspired mathematicians from many subdisciplines, including linear algebra, operator theory, measure theory, and complex function theory. In turn, the applications are being pursued by researchers in areas such as electrical engineering, computer science, and physics. The book is self-contained, has many examples, and for the most part requires only a basic background in undergraduate mathematics, primarily linear algebra and some complex analysis. The book also includes an extensive discussion of the literature, with close to six hundred references from books and journals from a wide variety of disciplines.

Topics in Quaternion Linear Algebra

2014 ◽  
Author(s):  
Leiba Rodman
Keyword(s):  
Linear Algebra ◽  
Complex Analysis ◽  
Dimensional Space ◽  
Applied Mathematics ◽  
Three Dimensional ◽  
Number System ◽  
Graduate Course ◽  
Open Problems ◽  
Unpublished Research ◽  
Reference Tool

Quaternions are a number system that has become increasingly useful for representing the rotations of objects in three-dimensional space and has important applications in theoretical and applied mathematics, physics, computer science, and engineering. This is the first book to provide a systematic, accessible, and self-contained exposition of quaternion linear algebra. It features previously unpublished research results with complete proofs and many open problems at various levels, as well as more than 200 exercises to facilitate use by students and instructors. Applications presented in the book include numerical ranges, invariant semidefinite subspaces, differential equations with symmetries, and matrix equations. Designed for researchers and students across a variety of disciplines, the book can be read by anyone with a background in linear algebra, rudimentary complex analysis, and some multivariable calculus. Instructors will find it useful as a complementary text for undergraduate linear algebra courses or as a basis for a graduate course in linear algebra. The open problems can serve as research projects for undergraduates, topics for graduate students, or problems to be tackled by professional research mathematicians. The book is also an invaluable reference tool for researchers in fields where techniques based on quaternion analysis are used.

Model Checking Control Software for Nonlinear Dynamic Systems

2008 ◽  
Author(s):  
James Kapinski ◽  
Alexandre Donze ◽  
Flavio Lerda ◽  
Hitashyam Maka ◽  
Edmund Clarke ◽  
...  
Keyword(s):  
Model Checking ◽  
Dynamic Systems ◽  
Nonlinear Dynamic ◽  
Nonlinear Dynamic Systems ◽  
Control Software
Sign in / Sign up

Export Citation Format

Share Document