Temporal Logic for Real-Time Systems (Advanced Software Development Series)
This monograph presents a framework for modelling, specifying and verifying
systems composed of real-time discrete event processes. A discrete event system
consists of the plant (the object to be controlled) and a controller. For example,
the plant might consist of machines, robots and conveyors on the factory floor.
The objective of...
Computational Intelligence: An Introduction Can computers be intelligent?
This question causes even more debate than the definitions of intelligence do.
Computational intelligence is the study of adaptive mechanisms to enable or facilitate intelligent behaviour in complex and changing environments. As such, computational intelligence encompasses artificial neural networks,...
Modelling and Simulation: Exploring Dynamic System Behaviour The application of modelling and simulation is unconstrained by discipline boundaries. It provides support for the planning, design and evaluation of system behaviour, as well as the evaluation of strategies for dynamic system transformation and change.
Modelling and Simulation: Exploring Dynamic System Behaviour provides the reader...
|Result Page: 17 16 15 14 13 12 11 10 9 8 |