Verification of Genetic Fuzzy Systems

Verification of Genetic Fuzzy Systems

Bibliographic Details
Main Author:	Arnett, Timothy J.
Language:	English
Published:	University of Cincinnati / OhioLINK 2016
Subjects:	Aerospace Materials fuzzy logic verification model checking genetic algorithm
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=ucin1460731645

Similar Items

Genetic Fuzzy Controller for a Gas Turbine Fuel System
by: Vick, Andrew W.
Published: (2010)

Iteratively Increasing Complexity During Optimization for Formally Verifiable Fuzzy Systems
by: Arnett, Timothy J.
Published: (2019)

Modular Decentralized Genetic Fuzzy Control for Multi-UAV Slung Payloads
by: Bisig, Caleb R.
Published: (2021)

UAV Swarm Cooperative Control Based on a Genetic-Fuzzy Approach
by: Ernest, Nicholas D.
Published: (2012)

Abstraction for Verification and Refutation in Model Checking
by: Wei, Ou
Published: (2009)

Abstraction for Verification and Refutation in Model Checking
by: Wei, Ou
Published: (2009)

Fuzzy Attitude Control of a Magnetically Actuated CubeSat
by: Walker, Alex R.
Published: (2013)

Genetic Fuzzy Trees for Intelligent Control of Unmanned Combat Aerial Vehicles
by: Ernest, Nicholas D.
Published: (2015)

Genetic Fuzzy Attitude State Trajectory Optimization for a 3U CubeSat
by: Walker, Alex R.
Published: (2020)

Matlab-based Development of Intelligent Systems for Aerospace Applications
by: Lafountain, Cody
Published: (2015)

Formal Verification Methodologies for NULL Convention Logic Circuits
by: Le, Son Ngoc
Published: (2021)

A Cascading Fuzzy Logic Approach for Decision Making in Dynamic Applications
by: Mitchell, Sophia
Published: (2016)

Simulation Research Framework with Embedded Intelligent Algorithms for Analysis of Multi-Target, Multi-Sensor, High-Cluttered Environments
by: Hanlon, Nicholas P.
Published: (2016)

Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles
by: Declerck, David
Published: (2018)

Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems
by: Iwona GROBELNA
Published: (2020-06-01)

On Construction and Verification of PLC-Programs
by: E. V. Kuzmin, et al.
Published: (2015-02-01)

System Identification and Verification of Rotorcraft UAVs
by: Carlton, Zachary M.
Published: (2017)

Guidance of a Small Spacecraft for Soft Landing on an Asteroid using Fuzzy Control
by: Hartmann, Jacob
Published: (2015)

A genetic based neuro-fuzzy controller for thermal processes
by: Ashok Kumar Goel, et al.
Published: (2005-04-01)

Fuzzy counter Ant Algorithm for Maze Problem
by: Ahuja, Mohit
Published: (2011)

Methods and Algorithms for Scalable Verification of Asynchronous Designs
by: Yao, Haiqiong
Published: (2012)

Verification Oriented Process Ontology
by: Natalia O. Garanina, et al.
Published: (2018-12-01)

Application of genetic algorithms to the adjustment of the supports of fuzzy sets in a mamdani controller
by: M.M. Mazzucco, et al.
Published: (2000-12-01)

Verification of Cyberphysical Systems
by: Marjan Sirjani, et al.
Published: (2020-07-01)

VERIFICATION OF PARALLEL AUTOMATA-BASED PROGRAMS
by: M. A. Lukin
Published: (2014-01-01)

APPLICATION OF THE FUZZY LOGIC AND GENETIC ALGORITHMS IN THE MODELS OF PASSENGER TRAFFIC
by: Y. Fornalchyk, et al.
Published: (2014-10-01)

On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems
by: Vladimir Burenkov
Published: (2018-10-01)

Optimal Genetic Design of Type-1 and Interval Type-2 Fuzzy Systems for Blood Pressure Level Classification
by: Juan Carlos Guzmán, et al.
Published: (2019-01-01)

Comparative evaluation of fuzzy logic and genetic algorithms models for portfolio optimization
by: Heidar Masoumi Soureh, et al.
Published: (2017-03-01)

Autonomous Control of A Quadrotor UAV Using Fuzzy Logic
by: FNU, Vijaykumar Sureshkumar
Published: (2015)

Synthesis of Interactive Reactive Systems
by: Bozianu, Rodica
Published: (2016)

Comparison of Fuzzy Logic and Genetic Algorithm Based Admission Control Strategies for UMTS System
by: P. Kejík, et al.
Published: (2010-04-01)

Graph dominators in logic synthesis and verification
by: Krenz, René
Published: (2004)

A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip
by: Tomás Grimm, et al.
Published: (2018-05-01)

Design Verification for Sequential Systems at Various Abstraction Levels
by: Zhang, Liang
Published: (2014)

TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox
by: Claude Helmstetter
Published: (2014-04-01)

On Verification of PLC-Programs Written in the LD-Language
by: E. V. Kuzmin, et al.
Published: (2015-02-01)

Exploiting model structure in CEGAR verification method
by: Chucri, Farès
Published: (2012)

Dominator-based Algorithms in Logic Synthesis and Verification
by: Krenz-Bååth, René
Published: (2007)

Fault Diagnosis in a Yeast Fermentation Bioreactor by Genetic Fuzzy System
by: Shokoufe Tayyebi, et al.
Published: (2010-09-01)

Cannot write session to /tmp/vufind_sessions/sess_t3c90r80mrtas65psr2fkanid4