Conferences related to Automata

Back to Top

2013 IEEE Symposium on Industrial Electronics & Applications (ISIEA)

The symposium covers the areas of industrial electronics and industrial applications in general, that include areas of electronics engineering and its applications, computer engineering and applications, processing, mechatronics, instrumentation, measurement, and their applications in the humanities & commercial

  • 2012 IEEE Symposium on Industrial Electronics and Applications (ISIEA 2012)

    This annual symposium is to bring together scientists, engineers and postgraduates who work in these fields; to share their ideas and experience. Papers are solicited on recent research results, new developments and technology trends in the field of power electronics, industrial electronics, industrial applications, life-science applications, computer & network applications, measurement systems, business applications and ocean applications related technology.

  • 2011 IEEE Symposium on Industrial Electronics and Applications (ISIEA 2011)

    This annual symposium is to bring together scientists, engineers and postgraduates who work in these fields; to share their ideas and experience. Papers are solicited on recent research results, new developments and technology trends in the field of power electronics, industrial electronics, industrial applications, life-science applications, computer & network applications, measurement systems, business applications and ocean applications related technology.

  • 2010 IEEE Symposium on Industrial Electronics and Applications (ISIEA 2010)

    This annual symposium is to bring together scientists, engineers and postgraduates who work in these fields; to share their ideas and experience. Papers are solicited on recent research results, new developments and technology trends in the field of power electronics, industrial electronics, industrial applications, life-science applications, computer & network applications, measurement systems, business applications and ocean applications related technology.

  • 2009 IEEE Symposium on Industrial Electronics and Applications (ISIEA 2009)

    This annual symposium is to bring together scientists, engineers and postgraduates who work in these fields to share their ideas and experience. Papers are solicited on recent research results, new developments and technology trends in the field of power electronics, industrial electronics, industrial applications, life-science applications and measurement systems.


2012 11th International Workshop on Discrete Event Systems - WODES

Discrete event systems theory and applications.

  • 2008 9th International Workshop on Discrete Event Systems - WODES

    The workshop will provide researchers from different fields (control theoreticians and control engineers, software engineers and computer scientists, operations research specialists) with an opportunity to exchange information and new ideas, and to discuss new developments in the field of Discrete Event Systems theory and application.


2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.


2012 5th International Symposium on Computational Intelligence and Design (ISCID)

Computational Intelligence techniques typically include Fuzzy Logic, Evolutionary Computation, Intelligent Agent Systems, Neural Networks, Cellular Automata, Artificial Immune Systems and other similar computational models.


2012 IEEE 13th International Symposium on Computational Intelligence and Informatics (CINTI)

The Symposium is organized with the focus of bringing together scientists from any country working on computational intelligence and its applications with the aims at providing and opportunity for sharing and discussing the recent research developments in this field.


More Conferences

Periodicals related to Automata

Back to Top

Automatic Control, IEEE Transactions on

The theory, design and application of Control Systems. It shall encompass components, and the integration of these components, as are necessary for the construction of such systems. The word `systems' as used herein shall be interpreted to include physical, biological, organizational and other entities and combinations thereof, which can be represented through a mathematical symbolism. The Field of Interest: shall ...


Circuits and Systems I: Regular Papers, IEEE Transactions on

Part I will now contain regular papers focusing on all matters related to fundamental theory, applications, analog and digital signal processing. Part II will report on the latest significant results across all of these topic areas.


Circuits and Systems II: Express Briefs, IEEE Transactions on

Part I will now contain regular papers focusing on all matters related to fundamental theory, applications, analog and digital signal processing. Part II will report on the latest significant results across all of these topic areas.


Communications Letters, IEEE

Covers topics in the scope of IEEE Transactions on Communications but in the form of very brief publication (maximum of 6column lengths, including all diagrams and tables.)


Communications, IEEE Transactions on

Telephone, telegraphy, facsimile, and point-to-point television, by electromagnetic propagation, including radio; wire; aerial, underground, coaxial, and submarine cables; waveguides, communication satellites, and lasers; in marine, aeronautical, space and fixed station services; repeaters, radio relaying, signal storage, and regeneration; telecommunication error detection and correction; multiplexing and carrier techniques; communication switching systems; data communications; and communication theory. In addition to the above, ...


More Periodicals


Xplore Articles related to Automata

Back to Top

Formal design and analysis of FMS controller

Xu Gang; Wu Zhiming Systems, Man and Cybernetics, 2003. IEEE International Conference on, 2003

A modeling method for controller in FMS is presented. This method is based upon the timed automata. Model checker tool UPPAAL is used to model, simulate and verify the FMS model. In the previous work about FMS modeling, the behavior of FMS is more emphasized than the performance, or vice versa. Because the time is included into the modeling method ...


Formalizing geographical models using specification and description language: The wildfire example

Pau Fonseca i Casas; Josep Casanovas; Jaume Figueras; Antoni Guasch 2013 Winter Simulations Conference (WSC), 2013

In this paper we explore how we can use Specification and Description Language, to represent simulation models that make an intensive use of geographical information, like environmental simulation models. The purpose is to perform a complete unambiguous, graphical and formal representation of a wildfire simulation model. Specification and Description Language is a modern object oriented language that allows the definition ...


Reconstruction of transmembrane currents using Support Vector machines and its application to endocardial mapping: A model study

F. Alonso-Atienza; J. L. Rojo-Alvarez; D. Alvarez; M. Moscoso; A. Garcia-Alberola 2007 Computers in Cardiology, 2007

Recent endocardial mapping systems reconstruct an instantaneous image of the endocardial electrical activity performing the inverse problem of electrocardiography (IPE), which consists of estimating the endocardial surface potentials from intracavitary probe potentials. Even though the IPE has been long studied, it still being paid attention due to its ill-posed nature, and many different regularization techniques have been explored in this ...


A robust heuristic algorithm for Cooperative Particle Swarm Optimizer: A Learning Automata approach

Mohammad Hasanzadeh; Mohammad Reza Meybodi; Mohammad Mehdi Ebadzadeh 20th Iranian Conference on Electrical Engineering (ICEE2012), 2012

This paper presents a modification of Particle Swarm Optimization (PSO) technique based on cooperative behavior of swarms and learning ability of an automaton. This approach called the Cooperative Particle Swarm Optimization based on Learning Automata (CPSOLA). The CPSOLA algorithm uses three-layer cooperation: intra swarm, inter swarm and inter population. There are two active populations in CPSOLA. In the primary population, ...


Automata dynamics preserved under homomorphism: connectness, reachability, optimality

S. Sivasundaram; S. Vassilyev Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on, 1998

We propose a general approach to analysis and control of dynamical behavior of an automata network. The properties of connectness, reachability and optimality under phase constraints and/or persistently acting perturbations are considered. We reduce automata model complexity by means of model transformations in a class of logical functions. These functions play an important part in our theory and act as ...


More Xplore Articles

Educational Resources on Automata

Back to Top

eLearning

Formal design and analysis of FMS controller

Xu Gang; Wu Zhiming Systems, Man and Cybernetics, 2003. IEEE International Conference on, 2003

A modeling method for controller in FMS is presented. This method is based upon the timed automata. Model checker tool UPPAAL is used to model, simulate and verify the FMS model. In the previous work about FMS modeling, the behavior of FMS is more emphasized than the performance, or vice versa. Because the time is included into the modeling method ...


Formalizing geographical models using specification and description language: The wildfire example

Pau Fonseca i Casas; Josep Casanovas; Jaume Figueras; Antoni Guasch 2013 Winter Simulations Conference (WSC), 2013

In this paper we explore how we can use Specification and Description Language, to represent simulation models that make an intensive use of geographical information, like environmental simulation models. The purpose is to perform a complete unambiguous, graphical and formal representation of a wildfire simulation model. Specification and Description Language is a modern object oriented language that allows the definition ...


Reconstruction of transmembrane currents using Support Vector machines and its application to endocardial mapping: A model study

F. Alonso-Atienza; J. L. Rojo-Alvarez; D. Alvarez; M. Moscoso; A. Garcia-Alberola 2007 Computers in Cardiology, 2007

Recent endocardial mapping systems reconstruct an instantaneous image of the endocardial electrical activity performing the inverse problem of electrocardiography (IPE), which consists of estimating the endocardial surface potentials from intracavitary probe potentials. Even though the IPE has been long studied, it still being paid attention due to its ill-posed nature, and many different regularization techniques have been explored in this ...


A robust heuristic algorithm for Cooperative Particle Swarm Optimizer: A Learning Automata approach

Mohammad Hasanzadeh; Mohammad Reza Meybodi; Mohammad Mehdi Ebadzadeh 20th Iranian Conference on Electrical Engineering (ICEE2012), 2012

This paper presents a modification of Particle Swarm Optimization (PSO) technique based on cooperative behavior of swarms and learning ability of an automaton. This approach called the Cooperative Particle Swarm Optimization based on Learning Automata (CPSOLA). The CPSOLA algorithm uses three-layer cooperation: intra swarm, inter swarm and inter population. There are two active populations in CPSOLA. In the primary population, ...


Automata dynamics preserved under homomorphism: connectness, reachability, optimality

S. Sivasundaram; S. Vassilyev Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on, 1998

We propose a general approach to analysis and control of dynamical behavior of an automata network. The properties of connectness, reachability and optimality under phase constraints and/or persistently acting perturbations are considered. We reduce automata model complexity by means of model transformations in a class of logical functions. These functions play an important part in our theory and act as ...


More eLearning Resources

IEEE-USA E-Books

  • Constructively Formalizing Automata Theory

    This chapter contains sections titled: Introduction, Type Theory Preliminaries, Languages and Their Representation, Finite Automata, The Myhill-Nerode Theorem, State Minimization, Discussion, Summary of Results, Conclusions and Future Work, Acknowledgments, References

  • The PDP Perspective

    McClelland and Rumelhart's Parallel Distributed Processing was the first book to present a definitive account of the newly revived connectionist/neural net paradigm for artificial intelligence and cognitive science. While Neural Computing Architectures addresses the same issues, there is little overlap in the research it reports. These 18 contributions provide a timely and informative overview and synopsis of both pioneering and recent European connectionist research. Several chapters focus on cognitive modeling; however, most of the work covered revolves around abstract neural network theory or engineering applications, bringing important complementary perspectives to currently published work in PDP.In four parts, chapters take up neural computing from the classical perspective, including both foundational and current work; the mathematical perspective (of logic, automata theory, and probability theory), presenting less well-known work in which the neuron is modeled as a logic truth function that can be implemented in a direct way as a silicon read only memory. They present new material both in the form of analytical tools and models and as suggestions for implementation in optical form, and summarize the PDP perspective in a single extended chapter covering PDP theory, application, and speculation in US research. Each part is introduced by the editor.

  • No title

    This monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing of events, not just on the order of their occurrence. Timed systems are employed in a wide range of domains including communications, embedded systems, real- time operating systems, and automated control. Many applications involving timed systems have strong safety, reliability, and predictability requirements, which makes it important to have methods for systematic design of systems and rigorous analysis of timing-dependent behavior. An important feature of the TIOA framework is its support for decomposing timed system descriptions. In particular, the framework includes a notion of external behavior for a TIOA, which captures its discrete interactions with its environment. The framework also defines what it means for one TIOA to implement another, based on an inclusion relationship between their external behavior sets, and defines notions of simulations, which provide sufficient conditions for demonstrating implementation relationships. The framework includes a composition operation for TIOAs, which respects external behavior, and a notion of receptiveness, which implies that a TIOA does not block the passage of time.

  • Towards A Self-Replicating Language for Computation

    Evolutionary algorithms such as genetic programming have proven themselves successful on a wide range of problems. Some of the problems with evolutionary algorithms are discussed, and it is argued that autocatalytic systems may hold solutions. Cellular automata are presented as a unifying computational language. Experimental results are given which show that higher-level representations can aid in the evolution of cellular automata.

  • Finite Automata

    This chapter contains sections titled: Introduction Deterministic Finite Automata Converting a DFA to a Regular Expression Java Code for a DFA Nondeterministic Finite Automata Using an NFA as an Algorithm Converting an NFA to a DFA with the Subset Algorithm Converting a DFA to a Regular Grammar Converting a Regular Grammar to an NFA Converting a Regular Expression to an NFA Finding the Minimal DFA Pumping Property of Regular Languages Problems

  • Representation of Discrete States

    This chapter contains sections titled: Introduction Finite-State Automata Neural Network Representations of DFA Pushdown Automata Turing Machines Conclusion

  • Bibliography

    McClelland and Rumelhart's Parallel Distributed Processing was the first book to present a definitive account of the newly revived connectionist/neural net paradigm for artificial intelligence and cognitive science. While Neural Computing Architectures addresses the same issues, there is little overlap in the research it reports. These 18 contributions provide a timely and informative overview and synopsis of both pioneering and recent European connectionist research. Several chapters focus on cognitive modeling; however, most of the work covered revolves around abstract neural network theory or engineering applications, bringing important complementary perspectives to currently published work in PDP.In four parts, chapters take up neural computing from the classical perspective, including both foundational and current work; the mathematical perspective (of logic, automata theory, and probability theory), presenting less well-known work in which the neuron is modeled as a logic truth function that can be implemented in a direct way as a silicon read only memory. They present new material both in the form of analytical tools and models and as suggestions for implementation in optical form, and summarize the PDP perspective in a single extended chapter covering PDP theory, application, and speculation in US research. Each part is introduced by the editor.

  • Frontmatter

    The prelims comprise: Half Title IEEE Computer Society Series Page Title Copyright Dedication Contents Preface

  • Artificial Intelligence through Simulated Evolution

    This chapter contains sections titled: References Artificial Intelligence through a Simulation of Evolution Natural Automata and Prosthetic Devices

  • A General Automaton: Detailed Analysis

    This chapter contains sections titled: Distinguishable Receptors and Effectors Nonhomogeneous Environments Transformation Response Components Nonshared Environments Interpreted as Distinguishable Exercises



Standards related to Automata

Back to Top

No standards are currently tagged "Automata"


Jobs related to Automata

Back to Top