Configurable verification of timed automata with discrete variables
Sign Up to like & getrecommendations! Published in 2020 at "Acta Informatica"
DOI: 10.1007/s00236-020-00393-4
Abstract: Algorithms and protocols with time dependent behavior are often specified formally using timed automata. For practical real-time systems, besides real-valued clock variables, these specifications typically contain discrete data variables with nontrivial data flow. In this… read more here.
Keywords: contain discrete; timed automata; refinement strategies; framework ... See more keywords
Interior/exterior-point methods with inertia correction strategy for solving optimal reactive power flow problems with discrete variables
Sign Up to like & getrecommendations! Published in 2020 at "Annals of Operations Research"
DOI: 10.1007/s10479-018-3012-y
Abstract: Interior/exterior-point methods have been widely used for solving Optimal Reactive Power Flow problems (ORPF). However, the utilization of such methods becomes difficult when transformer taps and/or capacitor/reactor banks are more rigorously represented in the problem… read more here.
Keywords: exterior point; discrete variables; correction strategy; point methods ... See more keywords
A Distributed Algorithm for Controlling Continuous and Discrete Variables in a Radial Distribution Grid
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Access"
DOI: 10.1109/access.2023.3234102
Abstract: The increased integration of distributed energy resources (DERs) in the distribution network with intermittent generation profiles will likely make voltage regulation a difficult task. However, DERs bring both challenges and opportunities, as they can provide… read more here.
Keywords: distribution grid; control; voltage; continuous discrete ... See more keywords