NDLI: Computation of supremal controllable sublanguages and infimal controllable superlanguages for fuzzy discrete event systems

Please wait, while we are loading the content...

2015 23rd Mediterranean Conference on Control and Automation (MED)

22nd Mediterranean Conference on Control and Automation

21st Mediterranean Conference on Control and Automation

2012 20th Mediterranean Conference on Control & Automation (MED)

2011 19th Mediterranean Conference on Control & Automation (MED)

18th Mediterranean Conference on Control and Automation, MED'10

2009 17th Mediterranean Conference on Control and Automation

2008 16th Mediterranean Conference on Control and Automation

2008 mediterranean conference on control & automation

Cooperative decision problems with confrontation of jamming and estimation: Multi-resolution strategies for performance robustness

A controller of the pendubot using quasi-velocities

Decentralized closing ranks in vehicle formations and sensor networks

Prescribed performance adaptive control of SISO feedback linearizable systems with disturbances

Reliable regulation in centralized control systems subject to polynomial exogenous signals

Normalizability and feedback stabilization for second-order linear descriptor differential systems

Specific graphical models for analyzing the reliability

AUV rendezvous trajectories generation for underwater recovery

Payload derived position and attitude acquisition system for parachute recovery systems

Tracking control with time delay compensation for linear time invariant networked control systems

RMS performance limitations and constraints for quarter-car active suspensions

Sensitivity of safe game ship control

Robust stabilization of a double pendulum with an elastic joint and uncertain high-frequency dynamics

Adaptive control of three — tank — system: Comparison of two methods

Device integration into automation systems by means of an embedded web interface

Time-varying sliding plane design for congestion control in multi-source connection-oriented communication networks

UAV formation flight using 3D potential field

Modeling and simulation of a drilling station in Modelica

Internet emulation system for UDP-based teleoperation

Communication architecture based on Player/Stage and sockets for cooperative guidance of robotic units

A novel algorithm for collision avoidance in commercial aircraft using neural networks and non-linear programming

Some remarks on the Schur stability of interval polynomials

A numerically efficient minimum variance filter for noise reduction in RGB color images

Robust ℓ∞-induced optimal filtering and its application to target maneuver estimation

On the reachability properties of continuous-time positive systems

Linear quadratic optimal flow control in multi-source connection-oriented communication networks

A new approach for temperature control in steam power plant

Intelligent PID controllers

Adaptive neural network output feedback passivation of MIMO uncertain systems

Cereal varieties classification using wavelet techniques combined to multi-layer neural networks

Fault detection of large scale wind turbine systems: A mixed H∞/H− index observer approach

Observer design via linear immersion for nonlinear systems homogeneous of degree 0

Realization problem for positive fractional continuous-time systems

Constrained state estimation using the Unscented Kalman Filter

Computation of supremal controllable sublanguages and infimal controllable superlanguages for fuzzy discrete event systems

A Markov-Random-Field-based approach to modeling and prediction of atmospheric turbulence

Observers for microbial ecology - How including molecular data into bioprocess modeling?

A nonlinear control of synchronous generator excitation for voltage regulation in power systems

Optimal switching control of an absorber ocean wave energy device

An approach for robust FDI in linear systems with polytopic type uncertainty

An algebraic approach to parameter identification in linear infinite dimensional systems

Fault diagnosis for LPV systems

Decentralized control of nonlinear interconnected systems

Dynamic evidential networks in system reliability analysis: A Dempster Shafer approach

A wavelet-packet approach for analytical redundancy in frequency subbands

Some new results in open and closed-loop linear-quadratic differential games

Hybrid fault tolerant tracking control design for electric vehicles

Fault tolerance analysis for a class of stochastic systems

Exact approach to determining power system responses on periodic discontinuous excitations

Laser Doppler flowmetry in healthy rats: impact of isoflurane anesthetic on signal complexity

Palindromic polynomials, time-reversible systems, and conserved quantities

LQ and dead beat control combination from the set of stabilizing controllers

Error Reference Control of nonlinear two-mass flexible servo systems

Application of the polynomial method in adaptive control of a MIMO process

Optimal motions planning for a GOUGH parallel robot

A framework architecture supporting interoperability for heterogeneous networked systems

State estimation under nonlinear state inequality constraints. A tracking application

Trajectory planning for a quadrotor helicopter

A nonlinear approach for re-entry guidance of reusable launch vehicles using model predictive static programming

Optimal nonlinear control and estimation for a Reusable Launch Vehicle during reentry phase

Robust control of temperature in hot-air tunnel

Damping inter-area modes of oscillation using an adaptive fuzzy power system stabilizer

Robot localization: comparable performance of EKF and UKF in some interesting indoor settings

Localization of pallets in warehouses using Wireless Sensor Networks

Neural network based robust adaptive control for a variable stiffness actuator

Introducing an incremental learning method for fuzzy descriptor models to identify nonlinear singular systems

Comparison between multi-band and self-tuned fuzzy power system stabilizers

Robust control of heaving wave energy devices in irregular waves

Wave prediction and fuzzy logic control of wave energy converters in irregular waves

Robust Kalman filter for discrete-time systems with correlated noises

A PRBS with exactly zero correlation and its application

Robustness analysis of nonlinear predictive control of fed-batch E. Coli cultures

PolyxGui : A new Graphical User Interface (GUI) for the polynomial toolbox Polyx

Funnel-Control in robotics: An introduction

The quantization error in the average consensus problem

Simple analytic solution to the optimal reconfigurations in general relative motions

In vivo fluorescence molecular optical imaging: from small animal towards clinical applications

MIMO quantitative robust control of a wastewater treatment plant for biological removal of nitrogen and phosphorus

Output feedback stabilization of positive switching linear discrete-time systems

Periodic observer design for non-linear model with periodic parameters via Takagi-Sugeno form

An iterative algorithm for constrained MPC with stability of bilinear systems

Fault diagnosis and accommodation design for nonlinear systems described by interpolated LTI models

Distance rejection in a bayesian network for fault diagnosis of industrial systems

Optimal control for SIR epidemic model: A two treatments strategy

Evaluation study of the transmission delay effects in a practical networked cascade control system

A fuzzy system for regulation of the analgesic remifentanil during general anaesthesia

H-infinity, L-infinity optimal Youla regulators for two-degree of freedom control systems

Optimizing settling-time and overshoot of a controlled variable by a direct method

QFT robust control of a Vega-type space launcher

Routing and scheduling in Multi-AGV systems based on dynamic banker algorithm

Optimal control theory and design of wind instruments : oscillation regime optimization

Adaptive fuzzy control of MIMO nonlinear systems with unknown hysteresis and control gain matrix sign

Blowing machine for wind musical instrument : toward a real-time control of the blowing pressure

Modeling and automatic control of a slide-flute

Design of controllers for delayed integration processes using RMS ring

On the fragility of PI controllers for time-delay SISO systems

A multi-observer switching strategy for fault-tolerant control of a quadrotor helicopter

Local stabilization of linear distributed parameter systems under constraints on both control and its rate via compensator

Feedback stability of discrete-time, linear time-varying systems

A new approach for nonlinear time series characterization, “DivA”

Transformation of nonlinear control systems into the observer form: necessary conditions

From synchronization to network theory: A strategy for MEG data analysis

Parameter tuning in distributed Home Automation Systems: towards a tabu search approach

An analytic optimization procedure to estimate a first-order plus time delay model from step response

A 1-gram dual sensorless speed governor for micro-air vehicles

Variable Structure Model Reference Adaptive Controller applied to a synchronous generator control

Indirect adaptive neuro - fuzzy control based on High Order Neural Network Function approximators

Lateral stabilization of vehicle-trailer combinations against crosswind disturbances by means of sliding control

A new higher order sliding control for continuous linear systems

Estimating the state and the unknown inputs of nonlinear systems using a multiple model approach

Robust observer design for uncertain Takagi-Sugeno model with unmeasurable decision variables: an L2 approach

Generating conforming time characteristics for stochastic technical processes

Design of a fault-tolerant control scheme for Takagi-Sugeno fuzzy systems

Analysis of gait-pattern adaptation algorithms applied in an exoskeleton for lower limbs

Fault diagnosis in a plant using Fisher discriminant analysis

Two-level controller design for an active suspension system

Model predictive control in urban traffic network management

The design of a reconfigurable suspension control system based on an FDI filter

Explicit model predictive control for a magnetic levitation system

A simple structured model for growth and AI-2 mediated cell-cell communication of Salmonella Typhimurium

A constructive approach for the parametrization of interconnection and damping assignment passivity based control

Cartilage tissue engineering and multimodality in two-photon microscopy

Inverse model based neural controllers with adaptive integral part

Multiclass freeway traffic: Model Predictive Control and microscopic simulation

LPV approach for observer-based quadratic compensator design for bilinear systems

Fault localization using principal component analysis based on a new contribution to the squared prediction error

Input recovery for a class of nonlinear multimodel system: An LMI approach

Stable realization of a delay system modeling a convergent acoustic cone

Simulation of the weakly nonlinear propagation in a straight pipe: application to a real-time brassy audio effect

Packet error rate optimization for routing algorithms in ad hoc wireless sensor networks

Subspace technique for identification of hybrid complex systems.

Soft sensors for crude distillation unit product properties estimation and control

On-line frequency and damping estimation in a single-link flexible manipulator based on algebraic identification

An efficient Kullback-Leibler optimization algorithm for probabilistic control design

Explicit robust multi-model predictive control

Sigma-Delta modulation sliding mode observers for linear systems subject to locally unstable inputs

Some remarks on the delay effects on the stability of biochemical networks

On-line moving-obstacle avoidance using piecewise Bezier curves with unknown obstacle trajectory

Scattering media characterization from backscattered Q elements of stokes vectors

On the use of proper weighting in reference tracking optimal control with guaranteed DARE solvability

Fast state estimation in linear time-invariant systems: an algebraic approach

UAV collision avoidance using cooperative predictive control

An improved dynamic programming algorithm for nonhomogeneous transfer line Kanban optimization

Fault-Tolerant Control of a two-degree of freedom helicopter using LPV techniques

Rolling element bearing feature extraction and anomaly detection based on vibration monitoring

An adaptive temperature control law for a solar furnace

On the solvability of singular linear system with Markov jump parameters

Optimal recursive linear filtering for general discrete time singular systems

Fault diagnosis of electrohydraulic servoactuators - A benchmark study -

State estimates for non-linear SISO systems

Study and parameter identification of a model coupling cell signaling and gene expression

Analysis of the networked implementation of the primary circuit pressurizer controller at a nuclear power plant

Real-time implementation of intelligent actuator control with a transducer health monitoring capability

Robust static output feedback stabilization of discrete-time nonlinear uncertain systems with H∞ performance

Backstepping fuzzy adaptive controller of induction machine

QFT-based design of PI+CI reset compensators: Application in process control

Hybrid observer design for switched linear systems using Differential Petri Net

Stability of reset control systems with inputs

A phase margin metric for multi-model multivariable MPC

Experiments of thermal fields of sensors supported by digital image processing

Sensorless direct power control of current source rectifier based on virtual flux

Stabilization of uncertain Takagi-Sugeno descriptors: A fuzzy Lyapunov approach

Decision support system for polymerization production plant using pPIs

Performance investigation of Direct Power Control method in Current Source Rectifier under different operation conditions

Stabilizing first-order controllers for n-th order all pole plants with time delay

Uncertainty remodeling for robust control of linear time-invariant plants

Towards a portable device for real-time nonlinear characterization of heart dynamics

MIMO robust predictive control applied to a three tanks system

Design and control of a manipulator arm driven by pneumatic muscle actuators

Modelling and identification of in vitro homoacetogenesis by human-colon bacteria

Qualification of control methods for wind energy converters by output power quality

Comparison of control strategies performance for a Wave Energy Converter

Semi-batch reactor predictive control using artificial neural network

Convergence radius and guaranteed error bound for the Volterra series expansion of finite dimensional quadratic systems

Nonlinear Phase-Locked Loop design using semidefinite programming

Dynamical robust nonlinear H∞ filtering for Lipschitz descriptor systems with parametric and nonlinear uncertainties

A multi-decision approach for decentralized diagnosis of the presence and absence of faults in discrete event systems

Robust sliding mode control of a DFIG variable speed wind turbine for power production optimization

A computationally efficient EKF-vSLAM

Active fault detection and isolation strategy for an unmanned aerial vehicle with redundant flight control surfaces

Robust H∞ control and estimation of state-multiplicative stochastic systems with delay

Robust nonlinear filtering for INS/GPS UAV localization

An active generalized likelihood ratio test in a reconfigurable fault-tolerant control system

Globally stabilizing quasi time-optimal control of planar saturated linear systems

DAISY: An efficient tool to test global identifiability. Some case studies

H∞ control design for generalized second order systems based on acceleration sensitivity function

A new on-line identification approach for affine modeling of nonlinear processes using an adaptive neural network

Co-simulation as effective method for flexible structure vibration control design validation and optimization

Trajectory characterizations for a discrete-time bearing-only navigation strategy

Preliminary results on interconnected hybrid systems

Control configuration for inverse response processes

An on-line change-point detection method

Stacking approaches for the design of soft sensors using small data set

An error analysis in the algebraic estimation of a noisy sinusoidal signal

A reasoning-based framework for car driver’s stress prediction

Hierarchical optimization of complex systems with changing criterion functions

Direct adaptive fuzzy control for nonlinear systems with input amplitude and rate saturation constraints

Fine tip/tilt estimation and vibration suppression for high performance AO systems

Recursive modal parameter estimation using output-only subspace identification for structural health monitoring

An algebraic method for multi-dimensional derivative estimation

Robust simple adaptive model following with guaranteed H∞ performance

A convex optimization approach to feedback scheduling

Multivariable robust optimal PID controller design for a non-minimum phase boiler system using loop transfer recovery technique

Uncertainties quantification criteria for multi-sensors fusion: Application to vehicles localisation

Inferring scale-free networks via multiple linear regression and preferential attachment

Adaptive system identification and control using DSP for automotive power generation

Control of an experimental mini quad-rotor UAV

Multi-modality point spectroscopy: Interests, development and application to in vivo diagnosis of bladder and skin cancers

Disturbance Decoupling Problem for neutral systems with delay: A geometric approach

Effects of rotors on UUV trajectory planning via the virtual potentials method

UAV guidance with respect of arrival specifications

Underwater archeology missions design for data gathering automation

A new Lyapunov based algorithm for tuning BELBIC controllers for a group of linear systems

Adaptive fuzzy nonlinear ℋ∞ tracking control design of a constrained robot system

An emergency refuelling problem over a dynamically changing environment in the context of Unmanned Aerial Vehicles

Optimal control of wind energy conversion systems: From energy optimization to multi-purpose criteria - A short survey

Adaptive control for frictional robot contact tasks on uncertain surface slopes

System identification of the intracellular photoreaction process induced by photodynamic therapy

State observers for systems with sensors modeled by polynomials and rational functions

Optimal control of a two-wheeled mobile robot via finite capacity communication channel

Tracking a maneuvering target with a non-holonomic agent using artificial potentials and sliding mode control

Observer-based H∞ fuzzy control for vehicle active suspension

Sensorless speed and position estimation of PMSM using sliding mode observers in γ-δ reference frame

RMS gain with dwell time for discrete-time switched linear systems

Parallel execution of square approximation learning algorithm for MLP neural networks

Combining learning methods and time-scale analysis for defect diagnosis of a tramway guiding system

Modeling and control of a triangular floating platform driven by rotating jets

Identification of a complete structured state space model

A hybrid system approach to formation reconfiguration in cluttered environments

Closed loop near time optimal magnetic attitude control using dynamic weighted neural network

Admissibility and state feedback admissibilization of discrete singular systems : An LMI approach

Argument-increment based stability criterion for neutral time delay systems

Tuning of digital PID controller parameters using local optimal control

Optimal estimation of body angular velocity based on otolith-canal interaction

Airspeed control for unmanned aerial vehicles: a nonlinear dynamic inversion approach

Trajectory tracking of a nonholonomic mobile robot with parametric and nonparametric uncertainties: A proposed neural control

Mobile sensors networks: a distributed solution to the area coverage problem

Wavemaker control system for irregular developed sea waves generation

Real-time implementation of constrained control system on experimental hybrid plant using RT-Lab

Complex dynamical system fault diagnosis based on multiple ANFIS using independent component

Robust almost sure stability for uncertain stochastically scheduled anytime controllers

Stability of discrete-time plants using model-based control with intermittent feedback

Synchronization of 3D CNNs in irregulars array

High-order sliding observation and fault detection

Mechatronic design and position control of a novel ball and plate system

Navigation of an autonomous mobile robot using EKF-SLAM and FastSLAM

Filtering algorithm with a piecewise-polynomial description of signals taking account of their continuity and level constraint

Forecasting of PWM-regulator dynamics

A genetic approach to solving the vehicle routing problem with time-dependent travel times

Holonic robot control for job shop assembly by dynamic simulation

Modeling and control of a new type diaphragm pump using DSP

Constraint satisfaction techniques under uncertain conditions for fault diagnosis in nonlinear dynamic systems

L2, H2 guaranteed-cost control of LPV systems with saturating actuators

Hierarchical energy efficient routing in Wireless Sensor Networks

Solving dynamic fault trees using a new Hybrid Bayesian Network inference algorithm

Robust D-stability analysis of an induction motor

Fault detection and isolation with robust principal component analysis

A fast model free intelligent controller based on fused emotions: A practical case implementation

Optimal feedback velocity profile generation for a vehicle with given acceleration limits: A level set implementation

A policy-based routing scheme for multi-robot systems

Neural networks for optimal operation of a run-of-river adjustable speed hydro power plant with axial-flow propeller turbine

Absolute stability to observer design for time delay systems with sector- bounded nonlinearities

On the exact tracking of the spherical inverted pendulum via an homotopy method

On different priority schemes for the message scheduling in Networked Control Systems

Genetic Algorithm application for the optimization of solid state devices using a novel modeling technique

Measurement accuracy selection for designing observers of metallurgical plant performances

Unconstrained NCGPC and Asymptotic Tracking applied to the tracking problem for a Turbocharged Diesel Engine: A comparative study

MAGLEV suspensions - A sensor optimisation framework

A Fault Detection filter design method for a class of linear time-varying systems

Fast signal subspace tracking using two-layer linear neural network learning

On the factorization, observability, and identification of the agreement protocol

Fault detection and isolation using sliding mode observer for uncertain Takagi-Sugeno fuzzy model

Output feedback nonlinear H∞ control of wheeled mobile robots formation

Adaptive approach in case of robotic system tracking control

Robust fault estimation for linear parameter-varying time-delay systems

Recurrent wavelet neural networks applied to fault diagnosis

Autofluorescence probe for brain cancer diagnostic: First results from rat model

Partial observability in structured bilinear systems using a graphical approach

Evaluation of a Switched Ethernet network for the control of a quadrotor

Modeling and analysis of the squeezed film damping effect on electrostatic microactuators

Fault detection, identification and estimation in the electro-hydraulic actuator system using EKF-based multiple-model estimation

Evaluating the risk of unmanned aircraft ground impacts

A survey of unmanned aircraft systems regulation: Status and future perspectives

An Extended Kalman Filter for the state estimation of a mobile robot from intermittent measurements

Mobile robot odometry relying on data fusion from RF and ultrasound measurements in a wireless sensor framework

Application of a quadtree-based market-allocation algorithm for cellular environment coverage with cooperative robots

A comparative analysis of sliding mode controllers for overhead cranes

A scalable telemedicine architecture for under developed countries. A case study: Democratic Republic of Congo

On the sensitivity of a switched linear internal model controller

Evolutionary algorithms and dynamic parameters for public electric transport modeling

Step by step robust nonlinear PI for attitude stabilisation of a four-rotor mini-aircraft

State and unknown input estimation for nonlinear singular systems: application to the reduced model of the activated sludge process

Pathological voice classifcation using local discriminant basis and genetic algorithm

Observers for Lipschitz nonlinear descriptor systems: Application to unknown inputs systems

Sliding mode controlled bifurcations for power control in wireless networks with mobile users

A randomized model for communicating embedded systems

Economic advantages of applying model predictive control to distributed energy resources: The case of micro-CHP systems

Towards an optical biopsy by elastic light scattering

Reconfigurable Internal Model Control based on adaptive IIR lattice filters

Nonlinear sliding mode control with backstepping approach for a nonlinear three tank system

Single view depth estimation based formation control of robotic swarms: Fundamental design and analysis

Single view depth estimation based formation control of robotic swarms: Obstacle avoidance, simulation, and practical issues

Robust multi condition flight controllers

On the robust disturbance rejection of Linear Parameter Vvarying uncertain systems

Modelling and design of microflow sensors based on measuring of temperature

Closed-loop dynamic behavior of an industrial high-efficiency FCC unit

Integrated approach based on High Level Petri Nets for evaluating Networked Control Systems

Design of an adaptive Kalman filter for fault detection of Networked Control Systems

On the design of rotorcraft landing controllers

Real-time adaptive automation for performance enhancement of operators in a human-machine system

FTC based on data driven FDI for a dearomatisation process

Infinite-dimensional backstepping and applications to flows in electromagnetic fields

Delay effects on stability of interconnected systems. A control perspective

Stochastic modeling techniques for the dependability analysis of DES

2007 Mediterranean Conference on Control & Automation

2006 14th Mediterranean Conference on Control and Automation

Computation of supremal controllable sublanguages and infimal controllable superlanguages for fuzzy discrete event systems

Content Provider	IEEE Xplore Digital Library
Author	Schmidt, K. Boutalis, Y.
Copyright Year	2008
Description	Author affiliation: Lehrstuhl fur Regelungstech., Univ. Erlangen-Nurnberg, Erlangen (Schmidt, K.; Boutalis, Y.)
Abstract	Recently, several approaches for the study of fuzzy discrete event systems (FDES) in a supervisory control context have been proposed. Although controllability of fuzzy languages and their implementation by a supervisor could be verified by algorithmic procedures, the problem of supervisor synthesis was only solved for the case of FDES with crisp states but fuzzy state transitions. In this paper, we present algorithms to compute the supremal controllable fuzzy sublanguage and the infimal controllable prefix-closed fuzzy superlanguage of a given fuzzy language for the general case of FDES with fuzzy states, fuzzy state transitions and fuzzy event controllability properties, and formally prove their correctness.
Starting Page	400
Ending Page	405
File Size	206687
Page Count	6
File Format	PDF
ISBN	9781424425044
DOI	10.1109/MED.2008.4602002
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-06-25
Publisher Place	France
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Automation Conferences
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in