Titlebook: Intelligent Paradigms for Smart Grid and Renewable Energy Systems; B. Vinoth Kumar,P. Sivakumar,K. Vijayakumar Book 2021 The Editor(s) (if

有機(jī)體

https://doi.org/10.1007/978-981-15-9968-2Artificial Intelligence; Computational Intelligence; Soft Computing; Smart Grid; Renewable Energy

Kernel

B. Vinoth Kumar,P. Sivakumar,K. VijayakumarPresents applications of intelligent techniques for smart grids and renewable energy systems.Discusses challenges of deployment of CI-based smart technologies.Serves as a reference for researchers and

敵意

同時發(fā)生

聯(lián)合

Modular Verification of Dynamic Properties for Reactive Systemsea we give the known BRP example (Bounded Retransmission Protocol) described with B. We then show that under some considerations we are able to decide whether a given property is false or true, or should have been established at a higher level of abstraction.