Search Results - (( developing formal control algorithm ) OR ( java implication based algorithm ))
Search alternatives:
- developing formal »
- implication based »
- java implication »
- formal control »
-
1
A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers
Published 2019“…Therefore, it is essential to determine control system safety in advance by verifying the possibility of state transitions from safe to unsafe states at the design and development stage. …”
Get full text
Get full text
Get full text
Technical Report -
2
Real time monitoring and controlling using Petri net algorithm for batch process plant / Mohamad Shaiful Osman
Published 2010“…This thesis searches the basic concepts and uses of the classical method Petri net algorithm in SCADA system to control and monitoring the process plant. …”
Get full text
Get full text
Thesis -
3
An improved marine predators algorithm tuned data-driven multiple-node hormone regulation neuroendocrine-PID controller for multi-input–multi-output gantry crane system
Published 2023“…Conventionally, researchers have favored the model-based control scheme for controlling gantry crane systems. …”
Get full text
Get full text
Get full text
Article -
4
-
5
Design of Auto-stabilization Control Technique for a Quadrotor System
Published 2013“…Therefore, the main focus of this research is to design an appropriate control algorithm that able to auto-stabilize the quadrotor at hover. …”
Get full text
Get full text
Get full text
Article -
6
Design of auto-stabilization control technique for a quadrotor system
Published 2013“…Therefore, the main focus of this research is to design an appropriate control algorithm that able to auto-stabilize the quadrotor at hover. …”
Get full text
Get full text
Get full text
Article -
7
Enhancement of Security Architecture for Smartcard Based Authentication Protocols
Published 2004“…As with all software development, good design and engineering practices are important for software quality. …”
Get full text
Get full text
Thesis -
8
Digital Quran With Storage Optimization Through Duplication Handling And Compressed Sparse Matrix Method
Published 2024thesis::doctoral thesis -
9
Performance analysis of predictive functional control for automobile adaptive cruise control system
Published 2023“…Thus, the prime objective of this work is to propose a PFCalgorithm as an alternative controller, while providing a formal comparisonbetweenMPCand the traditional Proportional Integral (PI) controller. …”
Get full text
Get full text
Get full text
Get full text
Article -
10
Algebraic study of fuzzy finite switchboard automata
Published 2020“…Thus, it is necessary to understand the modeling of switching and commutative mechanisms as a controller in a machine. Fuzzy set theory can be applied to solve the control problems. …”
Get full text
Get full text
Get full text
Get full text
Thesis -
11
A novel design of an isochronous integration [iIntegration] framework for first/second order multidisciplinary transient systems
Published 2015“…Focusing on the class of the linear multistep (LMS) methods, algorithms by design was first utilized to develop GS4-2 framework for time integration of second order systems. …”
Get full text
Get full text
Get full text
Article -
12
-
13
A controller-agnostic random oracle based intrusion detection method in software defined networks / Adnan
Published 2016“…As a result, developing an efficient controller-agnostic network intrusion-detection method is imperative. …”
Get full text
Get full text
Thesis -
14
Cooperative heterogeneous vehicular clustering for road traffic management / Iftikhar Ahmad
Published 2019“…The system model of the proposed solution is also developed and evaluated at macro level through formal verification. …”
Get full text
Get full text
Get full text
Thesis