1,354,650 research outputs found

    A Gas Turbine Model for Studies on Distributed Generation Penetration Into Distribution Networks

    No full text
    The paper proposes a detailed model of a gas turbine for a combined heat and power (CHP) plant. The prime mover is endowed with several controls: first of all, a speed control which can be either droop type or isochronous type according to the status of connection to the distribution grid. An acceleration limiter and an exhaust gases temperature limiter intervene to cut the fuel request, respectively, in case of an excessive rotor acceleration and of a too high temperature of the exhaust gases. A further control regulates inlet guide vanes (IGV) in order to keep the exhaust temperature almost constant. This is important in a cogeneration plant where the heat recovery from the exhaust gases is used to satisfy the demand of the thermal load. Some validation simulations on a model of cogeneration plant connected to a MV distribution grid are carried out and commente

    Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control

    No full text
    Formal verification of neural networks is a promising technique to improve their dependability for safety critical applications. Autonomous driving is one such application where the controllers supervising different functions in a car should undergo a rigorous certification process. In this paper we present an example about learning and verification of an adaptive cruise control function on an autonomous car. We detail the learning process as well as the attempts to verify various safety properties using the tool NEVER2, a new framework that integrates learning and verification in a single easy-to-use package intended for practictioners rather than experts in formal methods and/or machine learning
    corecore