By André Platzer
Hybrid structures are versions for complicated actual platforms and became a prevalent suggestion for realizing their habit. Many functions are safety-critical, together with automobile, railway, and air site visitors keep watch over, robotics, physical–chemical procedure keep watch over, and biomedical units. Hybrid structures research reports how we will be able to construct automated controllers for actual structures that are bound to meet their layout ambitions. the writer supplies a special, logic-based point of view on hybrid structures research. it's the first publication that leverages the facility of common sense for hybrid structures. the writer develops a coherent logical procedure for systematic hybrid platforms research, overlaying its idea, perform, and functions. it truly is extra proven how the constructed verification strategies can be utilized to review air site visitors and railway keep watch over platforms. This e-book is meant for researchers, postgraduates, and execs who're attracted to hybrid structures research, cyberphysical or embedded structures layout, common sense and theorem proving, or transportation and automation.