Results 21 to 30 of about 40,060,741 (235)
Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm
Energies, 2020 Mechatronic systems are a class of cyber-physical systems, whose increasing complexity makes their validation and verification more and more difficult, while their requirements become more challenging.
Cinzia Bernardeschi +4 more
doaj +1 more source
Design of a Smart Bartender with Peristaltic Pumps
Inventions, 2019 In this paper, the development of a smart scalable system for liquid supply based on high-precision peristaltic pumps is described. The architecture of software and hardware for the proposed system is considered. This liquid supply system can be used for
Vyacheslav Rybin +5 more
doaj +1 more source
Discrete-Time First-Order Plus Dead-Time Model-Reference Trade-off PID Control Design
Applied Sciences, 2019 The present study proposes a novel proportional-integral-derivative (PID) control design method in discrete time. In the proposed method, a PID controller is designed for first-order plus dead-time (FOPDT) systems so that the prescribed robust stability ...
Ryo Kurokawa +3 more
doaj +1 more source
E-Government Development: Catalysing Agile Governance Transformation in Indonesia
Journal of Contemporary Governance and Public PolicyE-government is considered a crucial instrument for service transformation as it is believed to assist in achieving the government’s objectives by functioning as a flexible digital service platform for development.
Dyah Mutiarin +3 more
doaj +1 more source
Index Matrix-Based Modeling and Simulation of Buck Converter
Mathematics, 2023 The approach described in this paper handles the parameters and characteristics (analog and discrete ones) of a Buck DC-DC converter (in its power and control parts) in a common manner.
Nikolay Hinov +2 more
doaj +1 more source
Reliability analysis of flight control system based on AADL2SPN
Hangkong gongcheng jinzhanFlight control system is typical safety critical system, and the reliability of flight control system plays an important role in ensuring the safe operation of aircraft.
LUO Wenbin +3 more
doaj +1 more source
A Generic Interface for x-in-the-Loop Simulations Based on Distributed Co-Simulation Protocol
IEEE Access, 2023 Co-simulation is a key step in the development of today’s complex cyber-physical systems (CPS), specially in the integration and validation activities.
Mikel Segura +2 more
doaj +1 more source
Towards model-based design support for distributed user interfaces
, 2004 User Interface design has been evolving for years to keep pace with different emerging technologies that effect human-computer interaction. Formal techniques for command-line interfaces, Drag-and-drop User Interface creation for Graphical User Interfaces
Chris Vandervelpen +3 more
core +1 more source
Drones, 2023 Light helicopters are used for a variety of applications, attracting users from private and public market segments because of their agility and convenient storage capabilities.
Emanuele Luigi de Angelis +4 more
doaj +1 more source
Deployment of Model-Based-Design-Adaptive Controllers for Monitoring and Control Mechatronic Devices
Applied Sciences, 2023 The modeling and control of complex, non-linear, and time-changing mechatronic systems requires complex software development. They are carried out in the prototyping phase with engineering software development tools, generating models, and control ...
Ramon Barber +3 more
doaj +1 more source