Results 11 to 20 of about 1,344,275 (293)
Verification of Hierarchical Artifact Systems [PDF]
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016 Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis.
Belardinelli F. +11 more
core +7 more sources
Formalizing a hierarchical file system [PDF]
Formal Aspects of Computing, 2009 Abstract An abstract file system is defined here as a partial function from (absolute) paths to data. Such a file system determines the set of valid paths. It allows the file system to be read and written at a valid path, and it allows the system to be modified by the Unix operations for creation, removal, and moving of files and directories.
Wim H. Hesselink +1 more
openaire +4 more sources
Synthesis of Hierarchical Systems
Science of Computer Programming, 2012 In automated synthesis, given a specification, we automatically create a system that is guaranteed to satisfy the specification. In the classical temporal synthesis algorithms, one usually creates a ''flat'' system ''from scratch''. However, real-life software and hardware systems are usually created using preexisting libraries of reusable components ...
Benjamin Aminof +2 more
openaire +3 more sources
IEEE Access, 2021 Regarding the control of micro- and nanogrids, LC- or LCL-filtered power inverters (acting as interfaces with distributed energy resources such as photovoltaic or wind) commonly perform as grid-forming or grid-supporting units to maintain both the ...
Carlos Roncero-Clemente +4 more
doaj +1 more source
The Evolution of Research in Microgrids Control
IEEE Open Access Journal of Power and Energy, 2020 Microgrids (MGs), as novel paradigms of active Distribution Networks, have been gaining increasing interest by the research community in the last 20 years.
Athanasios Vasilakis +3 more
doaj +1 more source
Hierarchically consistent control systems [PDF]
Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), 2000 Large-scale control systems, such as intelligent vehicle highway systems and air traffic management systems are systems of very high complexity. In order to reduce complexity, the system architecture is usually designed to have a hierarchical structure.
Pappas, George J +2 more
openaire +3 more sources
Hierarchical models for service-oriented systems [PDF]
, 2011 We present our approach to the denotation and representation of hierarchical graphs: a suitable algebra of hierarchical graphs and two domains of interpretations.
A. Corradini +15 more
core +2 more sources
Coordinated active and reactive power control for overvoltage mitigation in physical LV microgrids
The Journal of Engineering, 2019 The share of photovoltaic (PV) systems in the distribution networks is rapidly growing, leading to the common issue of overvoltage at the end of distribution feeders during the periods when peak generation is surplus to consumption.
Tam T. Mai +3 more
doaj +1 more source
A Repairable System Subjected to Hierarchical Competing Risks: Modeling and Applications
IEEE Access, 2019 In this paper, we propose modeling for a single repairable system with a hierarchical structure under the assumption that the failures follow a nonhomogeneous Poisson process (which corresponds to minimal repair action) with a power-law intensity ...
Francisco Louzada +12 more
doaj +1 more source
Specialization in Hierarchical Learning Systems
Neural Process. Lett., 2020 Joining multiple decision-makers together is a powerful way to obtain more sophisticated decision-making systems, but requires to address the questions of division of labor and specialization. We investigate in how far information constraints in hierarchies of experts not only provide a principled method for regularization but also to enforce ...
Heinke Hihn, Daniel A. Braun 0001
openaire +2 more sources