This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arit…
"20" Result
Sort By:
"We are in the wake of chaos - trying to make sense of the news that the universe is a far more unpredictable place than anyone ever imagined." "What began with the discovery of randomness in simple physical systems - a curl of smoke, a tumble of water - has exploded into a fasc…
"We are in the wake of chaos - trying to make sense of the news that the universe is a far more unpredictable place than anyone ever imagined." "What began with the discovery of randomness in simple physical systems - a curl of smoke, a tumble of water - has exploded into a fasc…
Resource management is at the heart of many diverse science and engineering research areas. Although the general notion of what constitutes a resource entity seems similar in different research areas, their types, characteristics, and constraints governing their behavior are vas…
An introduction to computer-aided system design with Simulink: a robust, accurate, and easily used simulation tool. The author takes readers on a tour of the Simulink environment that shows how to develop a system model and execute the design steps needed to make the model into …
An introduction to computer-aided system design with Simulink: a robust, accurate, and easily used simulation tool. The author takes readers on a tour of the Simulink environment that shows how to develop a system model and execute the design steps needed to make the model into …
There is currently much UK government and industry interest towards the integration of complex computer-based systems, including those in the military domain. These systems can include both mission critical and safety critical applications, and therefore require the dependable c…
The aim of this volume is to explain some of the biology and the computational and mathematical challenges with the modeling and simulation of biological networks. The different chapters provide examples of how these challenges are met, with particular emphasis on nontraditional…
This book is devoted to Quisped, Roberts, and Thompson (QRT) maps, considered as automorphisms of rational elliptic surfaces. The application of QRT maps to problems in the literature, including Poncelet mapping and the elliptic billiard, is examined.
Chaotic billiards
by Chernov, Nikolai, Markarian, Roberto
fromMathematical surveys and monographs
0
Type: Book
