NDLI: Symmetry reductions for a class of discrete-event systems

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

2015 54th IEEE Conference on Decision and Control (CDC)

53rd IEEE Conference on Decision and Control

52nd IEEE Conference on Decision and Control

2012 IEEE 51st IEEE Conference on Decision and Control (CDC)

IEEE Conference on Decision and Control and European Control Conference

49th IEEE Conference on Decision and Control (CDC)

Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference

2008 47th IEEE Conference on Decision and Control

2007 46th IEEE Conference on Decision and Control

Proceedings of the 45th IEEE Conference on Decision and Control

Proceedings of the 44th IEEE Conference on Decision and Control

2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)

Volume 5 - 2004

Volume 4 - 2004

Volume 3 - 2004

Volume 2 - 2004

Volume 1 - 2004

2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)

2004 43rd IEEE Conference on Decision and Control (CDC) - Title

Welcome from the General Chair

50th Anniversary of the IEEE Control Systems Society

Control theories in critical illness and critical care

Walking and running in bipedal robots: control theory and experiments

Challenges and opportunities for the future of control

Bode lecture: games, decisions, and control: fifty years back, fifty years forward

Challenges and solution techniques for hybrid shnulation

Industry-university interactions

Pathways to success in industry and government women in control: challenges, opportunities, and rewards

Industry-university interactions

Pathways to success in industry and government - women in control: challenges, opportunities, and rewards [This article is in this conference twice]

Conference information

IEEE CDC past and present

2004 CDC Committees / IEEE CSS Editorial board

Table of contents [Session index]

CDC04 Technical Programs

Existence of discrete state estimators for hybrid systems on a lattice

Observability of hybrid systems and turing machines

A Bayesian approach to identification of hybrid systems

Data classification and parameter estimation for the identification of piecewise affine models

On the observability of piecewise linear systems

Recursive identification of switched ARX hybrid models: exponential convergence and persistence of excitation

Symmetry reductions for a class of discrete-event systems

A language measure for partially observed discrete event supervisory control systems

An algorithmic approach to verification of intransitive non-interference in security policies

Synchronization-based fault detection in discrete event systems

Fault diagnosis in hierarchical discrete-event systems

Event-driven optimal control of continuous Petri nets

On the statistical distribution of processing times in network intrusion detection

Client-controlled slow TCP and denial of service

Worm propagation and defense over hyperbolic graphs

Cooperative games, phase transitions on graphs and distributed trust in MANET

Profiling program and user behaviors for anomaly intrusion detection based on non-negative matrix factorization

A feedback control defense strategy for denial of service computer attacks

Modeling transient dynamics in a small world network of oscillators

Modeling complex cellular networks - robust switching in the cell cycle ensures a piecewise linear reduction of the regulatory network

Connectivity graphs as models of local interactions

Input-out properties of the Toda lattice

Turtle cortical activity captured by dynamic models

Natural target localization from activity waves in the turtle visual cortex

A set theoretic approach to path planning for mobile robots

Automatic synthesis of multi-agent motion tasks based on LTL specifications

Decentralized control of autonomous swarm systems using artificial potential functions: analytical design guidelines

Polyhedral cone invariance applied to rendezvous of multiple agents

Ellipsoidal cones and rendezvous of multiple agents

Remarks on ISS and formation control

Direct adaptive dynamic compensation for minimum phase systems with unknown relative degree

Tracking performance improvement of a model reference robust control

Globally stabilizing adaptive control design for nonlinearly-parameterized systems

Sensorless control of induction motor with adaptive speed-flux observer

Adaptive finite time stabilization for a class of nonlinear systems

Robust adaptive control of a class of nonlinear systems with Prandtl-Ishlinskii hysteresis

Analysis of the sub-optimal second-order sliding-mode control algorithm in the frequency domain

Fuzzy hyperbolic H/sub /spl infin// filter design for a class of nonlinear continuous-time dynamic systems

Oriented distance function and its evolution equation for initial sets with thin boundary

Discrete output feedback sliding mode based tracking control

Remarks on monotonicity and convergence in chemical reaction networks

A remark on multistability for monotone systems

Time-optimal magnetic attitude control for small spacecraft

Magnetic attitude control for satellites

Global magnetic attitude control of spacecraft

An approach to magnetic torque attitude control of satellites via 'H/sub /spl infin//' control for LTV systems

Robust attitude orbit control for large flimsy appendages

Energy optimal multi-spacecraft relative reconfiguration of deep space formation flying

Motion planning and feedback stabilization of periodic orbits for an Acrobot

Planar bipedal robot with impulsive foot action

Asymptotic stabilization of a five-link, four-actuator, planar bipedal runner

Low energy body design and nonlinear control of balance in a one legged robot

Control of closed kinematic chains using a singularly perturbed dynamic model

Dynamics and control of a 3D pendulum

A parameterization of simultaneous stabilizers for a pair of linear systems within a behavioral framework

A system theoretic approach to behavioral finance

Self-bounded controlled invariant subspaces in measurable signal decoupling with stability: minimal-order feedforward solution for non-left-invertible systems

A note on the nonnegative realization of rational transfer functions

On the observability and state determination of quantum mechanical systems

Hidden variables in dissipative systems

Virtual closed loop identification: a subspace approach

An exact finite sample variance expression for a class of frequency function estimates

Probabilistic bounds for model invalidation assessment

Cheapest open-loop identification for control

Mixed H/sub /spl infin// and H/sub 2/ input design for identification

On persistent excitation conditions for the consistent filtering of convergent semimartingales

LMI results for resilient state-feedback with H/sub /spl infin// performance

Constructing tight LFT uncertainty models for robust controller design

Nevanlinna-Pick interpolation with degree constraint: complete parameterization based on Lyapunov inequalities

Multi-stage resource allocation under uncertainty

A robust numerical method for optimal H/sub /spl infin// control

Restricted frequency inequality is equivalent to restricted dissipativity

On the value function of singularly perturbed optimal control systems

The nilpotent tangent 3-dimensional sub-Riemannian problem is nonintegrable

Combining high-order necessary conditions for optimality with nonsmoothness

Minimum-time optimality of a singular arc: second order sufficient conditions

Classification of stable time-optimal controls on 2-manifolds

S.O.S. for safety

Constructing decidable hybrid systems with velocity bounds

Blowing up affine hybrid systems

Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction

A probabilistic approach to controllability/reachability analysis of hybrid systems

Suboptimal control techniques for networked hybrid systems

A new class of supervisors for timed discrete event systems under partial observation

An example of supervisory control in C2

Control of nondeterministic discrete event systems for simulation equivalence

Failure-robust distributed controller architectures

Control of fuzzy discrete event systems and its applications to clinical treatment planning

Distributed diagnosis under global consistency

Admission control for Web server systems - design and experimental evaluation

A model-based approach to access and congestion control in communication networks

On a hybrid model for max-min congestion controllers

Congestion control in differentiated services networks using fuzzy logic

Multiplicative feedback control in communication networks using stochastic flow models

On-line resource sharing in communication networks using infinitesimal perturbation analysis of stochastic fluid models

Computational modeling of the immune response to tumor antigens: implications for vaccination

An analysis of a circadian model using the small-gain approach to monotone systems

An optimal control problem for in vitro virus competition

Optimal control in a model of dendritic cell transfection cancer immunotherapy

FitzHugh-Nagumo model and signal processing in the visual cortex of fly

Gains and optimal design in signaling pathways

An overview of emerging results in cooperative UAV control

Elemental maneuvers and coordination structures for unmanned air vehicles

Obstacle avoidance with sensor uncertainty for small unmanned aircraft

Border patrol and surveillance missions using multiple unmanned air vehicles

Cooperative control of small UAVs for naval applications

Cooperative radar jamming for groups of unmanned air vehicles

Equivalence between adaptive cancellation algorithms and linear time-varying compensators

Transient performance improvement in model reference adaptive control via iterative learning

Adaptive gain-scheduled H/sub /spl infin// control of linear parameter-varying systems by utilizing neural networks and nonlinear compensation

Partial state feedback tracking with ISpS disturbance attenuation via direct adaptive design

Neural network model reference adaptive control of a surface vessel

Hybrid external models, and the rejection of harmonic disturbances at the controller input

Stability of phase locking in a ring of unidirectionally coupled oscillators

Nonlinear formation control of marine craft with experimental results

State observer design for bilinear systems with application to induction motors

Neural network adaptive control for a class of nonlinear systems with unknown-bound unstructured uncertainties

Neural network compensation technique for standard PD-like fuzzy controlled nonlinear systems

New analytical results of the energy based swinging up control of the Acrobot

Out-of-surveillance target state estimation: a combined hospitability and synthetic inclination approach

Multi-target tracking in clutter without measurement assignment

Efficient methods of non-myopic sensor management for multitarget tracking

A distributed multiple-target identity management algorithm in sensor networks

Markov chain Monte Carlo data association for general multiple-target tracking problems

Sensor scheduling for target tracking in sensor networks

Steering compensation for high-performance motorcycles

Grey-box modelling of a motorcycle shock absorber

Quasi-steady state approximation of the dynamics of a planar motorcycle

Model predictive for path following with motorcycles: application to the development of the pilot model for virtual prototyping

Nonlinear steering oscillations of motorcycles

Motorcycle trajectory reconstruction by integration of vision and MEMS accelerometers

Simulation study via output feedback control design

A mixed H/sub /spl infin/// D-stability controller design using an exterior-point approach

Multi-objective H/sub /spl infin// control applied to a wafer stage model

Robust H/sub /spl infin// control design for fuzzy singularly perturbed systems with Markovian jumps: an LMI approach

LMI based neurocontroller for guaranteed cost control of discrete-time uncertain system

Gain-scheduled controller design based on descriptor representation of LPV systems: application to flight vehicle control

Frequency domain identification using non-parametric noise models

On the use of a multivariable frequency response estimation method for closed loop identification

Choice of weighting for averaged non-parametric transfer function estimates

Noise analysis of an approach for frequency identification

Fast estimation of power system frequency using adaptive internal-model control technique

Frequency domain subspace-based identification of discrete-time power spectra from nonuniformly spaced measurements

A separation principle for robust stabilization of linear systems

D-stability of polytopes of polynomial matrices: characterization through LMIs

Robust pole placement by static output feedback

On optimal performance for linear time-varying systems

On the estimation of the domain of attraction for uncertain polynomial systems via LMIs

On parameter-dependent Lyapunov functions for robust stability of linear systems

The connection between the maximum principle and the value function for optimal control problems under state constraints

Optimal control of differential inclusions in infinite-dimensional spaces

Joint evolutionary-morphological systems

Nondegeneracy and normality in necessary conditions involving Hamiltonian inclusions for state-constrained optimal control problems

Unmaximized necessary conditions for constrained control problems

A local field of extremals for single-input systems with state space constraints

Stochastic safety verification using barrier certificates

Interconnected discrete-time systems with incommensurate clock frequencies

On the existence of optimal solutions for the modular supervisory control of hybrid systems

Mode-independent H/sub /spl infin// filters for hybrid Markov linear systems

Persistent disturbance attenuation properties for networked control systems

Switching structural biomechanical model of multisensory integration during human quiet standing

Marking estimation of Petri nets with silent transitions

Modular verification of modular finite state machines

A practical approach to object-oriented modeling of logic control systems for industrial applications

Pricing and replenishment strategies in supply chains with competing loss averse retailers

Decentralized nondeterministic supervisory control of discrete event systems

An algorithm to achieve local consistency in distributed systems

Robust output feedback active queue management control in TCP networks

On maximizing the utility of uplink transmissions in sensor networks under explicit fairness constraints

On the performance limitation of active queue management (AQM)

Local stability of FAST TCP

Global stability analysis of a TCP/AQM protocol for arbitrary networks with delay

On global stability of Internet congestion control

A system theoretic state description for temporal transitions in the electroencephalogram data of severe epileptic patients

Control of immune response of HIV infection model by gradual reduction of drug dose

Optimized structured treatment interruption for HIV therapy and its performance analysis on controllability

Fluidic operational amplifier for mock circulatory systems

In-vitro evaluation of multi-objective hemodynamic control of heart-assist pump

Biologically inspired control of a kinematic chain using the superposition of motion primitives

Safe UAV navigation with sensor processing delays in an unknown environment

Multiple UAV cooperative path planning via neuro-dynamic programming

Efficient Bayesian methods for updating and storing uncertain search information for UAVs

Collision-free UAV formation flight using decentralized optimization and invariant sets

UAV optimal path planning using C-C-C class paths for target touring

Bounded stability and eventual string stability of a large platoon of vehicles using non-identical controllers

Adaptive robust control of programmable valves with manufacturer supplied flow mapping only

Robust decentralized fuzzy control for process control

42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)

Proceedings of the 41st IEEE Conference on Decision and Control, 2002.

Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)

Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187)

Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304)

Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171)

Proceedings of the 36th IEEE Conference on Decision and Control

Proceedings of 35th IEEE Conference on Decision and Control

Proceedings of 1995 34th IEEE Conference on Decision and Control

Proceedings of 1994 33rd IEEE Conference on Decision and Control

Proceedings of 32nd IEEE Conference on Decision and Control

[1992] Proceedings of the 31st IEEE Conference on Decision and Control

[1991] Proceedings of the 30th IEEE Conference on Decision and Control

29th IEEE Conference on Decision and Control

Proceedings of the 28th IEEE Conference on Decision and Control,

Proceedings of the 27th IEEE Conference on Decision and Control

26th IEEE Conference on Decision and Control

1986 25th IEEE Conference on Decision and Control

1985 24th IEEE Conference on Decision and Control

The 23rd IEEE Conference on Decision and Control

The 22nd IEEE Conference on Decision and Control

1982 21st IEEE Conference on Decision and Control

1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes

1980 19th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes

1979 18th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes

1978 IEEE Conference on Decision and Control including the 17th Symposium on Adaptive Processes

1977 IEEE Conference on Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications

1976 IEEE Conference on Decision and Control including the 15th Symposium on Adaptive Processes

1975 IEEE Conference on Decision and Control including the 14th Symposium on Adaptive Processes

1974 IEEE Conference on Decision and Control including the 13th Symposium on Adaptive Processes

1973 IEEE Conference on Decision and Control including the 12th Symposium on Adaptive Processes

Proceedings of the 1972 IEEE Conference on Decision and Control and 11th Symposium on Adaptive Processes

1971 IEEE Conference on Decision and Control

1970 IEEE Symposium on Adaptive Processes (9th) Decision and Control

1969 IEEE Symposium on Adaptive Processes (8th) Decision and Control

Seventh Symposium on Adaptive Processes

Sixth Symposium on Adaptive Processes

Fifth Symposium on Adaptive Processes

Fourth Symposium on Adaptive Processes

Third Symposium on Adaptive Processes

Second Symposium on Adaptive Processes

Symmetry reductions for a class of discrete-event systems

Content Provider	IEEE Xplore Digital Library
Author	Rohloff, K. Lafortune, S.
Copyright Year	2004
Description	Author affiliation: Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA (Rohloff, K.)
Abstract	Issues related to the control and verification of isomorphic modular discrete-event systems are investigated. A finite state automaton system model is considered for the system modules where sets of atomic propositions are defined on the states. A type of symmetry is defined for these modular systems and a restriction of the /spl mu/-calculus designed for these systems is introduced. A procedure is shown to reduce the cost in computation time and memory for testing if symmetric modular systems satisfy propositions in this /spl mu/-calculus. An example of a symmetric modular UAV platoon leader system is then shown and discussed.
Starting Page	38
Ending Page	44
File Size	185379
Page Count	7
File Format	PDF
ISBN	0780386825
ISSN	01912216
DOI	10.1109/CDC.2004.1428603
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2004-12-14
Publisher Place	Bahamas
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Discrete event systems Automata System testing Control systems Unmanned aerial vehicles Logic Automatic control Computational efficiency Computer networks Resource management
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