Results 11 to 20 of about 6,983,756 (292)
Testing real-time multi input-output systems [PDF]
, 2005 In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quiescence is sometimes applied. Briefly, a system is in a quiescent state when it cannot
Brandan Briones, Laura, Brinksma, Ed
core +2 more sources
Design and evaluation of the target spray platform
International Journal of Advanced Robotic Systems, 2021 The target-oriented spraying is an effective way to minimize chemical input in agricultural production and it is important to actualizing sustainable agriculture. This article focused on the design and optimization of the target spray platform. The spray
Mingchuan Zhou +4 more
doaj +1 more source
Distributed Simulation of Heterogeneous and Real-time Systems [PDF]
, 2013 This work describes a framework for distributed simulation of cyber-physical systems (CPS). Modern CPS comprise large numbers of heterogeneous components, typically designed in very different tools and languages that are not or not easily composeable ...
Cardoso, Janette +4 more
core +1 more source
An Efficient and Reliable Electric Power Transmission Network Topology Processing
IEEE Access, 2023 The modern bulk power system operation is complex and dynamic, with rapidly increasing inverter-based resources and active distribution systems.
Dulip Madurasinghe +1 more
doaj +1 more source
A timeband framework for modelling real-time systems [PDF]
, 2010 Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures. New scientific foundations are required for specifying, designing and implementing these systems.
A Burns +39 more
core +1 more source
Recent Advances in Real-Time Load-Pull Systems [PDF]
, 2008 In this paper, some of the latest advances in real-time load-pull technologies will be described. A recently introduced ultralow-loss directional coupler, which has been designed and realized by the authors, provides a number of advantages when used in ...
Ferrero, Andrea Pierenrico +2 more
core +1 more source
IET Energy Systems Integration, 2021 The power distribution system has increasing importance and complexity as a result of the exponential growth in the adoption of smart grid technologies.
Hasala Dharmawardena +1 more
doaj +1 more source
Distributed Demand Response Management for a Virtually Connected Community With Solar Power
IEEE Access, 2022 With the high proliferation of solar power, curtailments and higher capacity reserves are required for a reliable power system operation. However, system operators can tap into demand flexibility to maintain reliability affordably. Temperature-controlled
Chirath Pathiravasam +1 more
doaj +1 more source
Test of preemptive real-time systems [PDF]
, 2008 Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time systems.
Adjir, Noureddine +2 more
core +1 more source
ISPRS International Journal of Geo-Information, 2020 This article shows a novel geo-visualization method of dynamic spatiotemporal data that allows mobility and concentration of criminal activity to be study.
Mayra Salcedo-Gonzalez +4 more
doaj +1 more source