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.


2008 9th International Conference for Young Computer Scientists (ICYCS)

Following the tradition and success of previous ICYCS conferences, ICYCS 2008 will provide an international forum for scientists and engineers in academia and industry to exchange and discuss their experiences, new ideas, research results, and applications on all aspects of Computer Science and Technology and its related disciplines. It will feature keynote speeches, technical presentations, panel discussions and symposiums/workshops .



Periodicals related to Automata

Back to Top

Evolutionary Computation, IEEE Transactions on

Papers on application, design, and theory of evolutionary computation, with emphasis given to engineering systems and scientific applications. Evolutionary optimization, machine learning, intelligent systems design, image processing and machine vision, pattern recognition, evolutionary neurocomputing, evolutionary fuzzy systems, applications in biomedicine and biochemistry, robotics and control, mathematical modelling, civil, chemical, aeronautical, and industrial engineering applications.


Software Engineering, IEEE Transactions on

Specification, development, management, test, maintenance, and documentation of computer software.


Systems, Man, and Cybernetics, Part B, IEEE Transactions on

The scope of the IEEE Transactions on Systems, Man and Cybernetics Part B: Cybernetics includes computational approaches to the field of cybernetics. Specifically, the transactions welcomes papers on communication and control across machines or between machines, humans, and organizations. The scope of Part B includes such areas as computational intelligence, computer vision, neural networks, genetic algorithms, machine learning, fuzzy systems, ...




Xplore Articles related to Automata

Back to Top

Agents for distributed decision-making

S. Talukdar 2003 IEEE Power Engineering Society General Meeting (IEEE Cat. No.03CH37491), 2003

Agents are modules from which problem solving can be built. Structurally, an agent is a bundle of sensors, decision-makers and actuators; behaviorally, an agent is a mapping from an in-space (all the things the agent can sense) to an out-space (all things the agent can affect). Agents can be simple or compound. More specifically, lesser agents can be organized into ...


Knowledge-based key-hole monitoring of users for security control in transaction processing systems

V. K. Murthy; E. V. Krishnamurthy Networks, 1993. International Conference on Information Engineering '93. 'Communications and Networks for the Year 2000', Proceedings of IEEE Singapore International Conference on, 1993

This paper considers the interrelationships between knowledge-based security, concurrency and recoverability in on-line database transaction processing systems (OLTP). It describes how OLTP can permit the users to carry out the desired actions, and concurrently activate scrutinizing transactions that identify the users with respect to their biometrical or other characteristics stored in a secure knowledge database. A finite state machine model ...


Sequential circuit design using Quantum-dot Cellular Automata (QCA)

Lee Ai Lim; Azrul Ghazali; Sarah Chan Tji Yan; Chau Chien Fat 2012 IEEE International Conference on Circuits and Systems (ICCAS), 2012

As the size of CMOS transistors keep shrinking, it will eventually hit its limitation. Hence, an alternative device has to be discovered to continually improve the development of electronics devices. Quantum-dot cellular automata (QCA), is a potential device that can be used to implement digital circuits. In this paper, we present the basic theory of QCA cell and some fundamental ...


Process models as multi-reader collaborative hyperdocuments

P. D. Stotts; R. Furuta Proceedings. Ninth International Software Process Workshop, 1994

The Trellis model of human/computer interaction, in the context of hypermedia documents, is a good basis for specifying and applying software process models. The emphasis on user-direction of control gained from the hypermedia paradigm makes Trellis models inherently less program-like and more human- oriented. Trellis differs from other hypermedia models by using parallel automata (colored timed Petri nets) as hyperdocument ...


A Practical Solution to Trusted Computing Platform Testing

Huanguo Zhang; Jie Luo; Fei Yan; Mingdi Xu; Fan He; Jing Zhan 2008 Third Asia-Pacific Trusted Infrastructure Technologies Conference, 2008

Trusted computing is a new generation technology of secure computing environment proposed by trusted computing group (TCG). Although many TC vendors claim that their products are compliant to TCG specifications, itpsilas very difficult to affirm it. Moreover, according to some government regulations on security, TC products shall require the official approval. Thus the testing and evaluation on TC products are ...


More Xplore Articles

Educational Resources on Automata

Back to Top

eLearning

Agents for distributed decision-making

S. Talukdar 2003 IEEE Power Engineering Society General Meeting (IEEE Cat. No.03CH37491), 2003

Agents are modules from which problem solving can be built. Structurally, an agent is a bundle of sensors, decision-makers and actuators; behaviorally, an agent is a mapping from an in-space (all the things the agent can sense) to an out-space (all things the agent can affect). Agents can be simple or compound. More specifically, lesser agents can be organized into ...


Knowledge-based key-hole monitoring of users for security control in transaction processing systems

V. K. Murthy; E. V. Krishnamurthy Networks, 1993. International Conference on Information Engineering '93. 'Communications and Networks for the Year 2000', Proceedings of IEEE Singapore International Conference on, 1993

This paper considers the interrelationships between knowledge-based security, concurrency and recoverability in on-line database transaction processing systems (OLTP). It describes how OLTP can permit the users to carry out the desired actions, and concurrently activate scrutinizing transactions that identify the users with respect to their biometrical or other characteristics stored in a secure knowledge database. A finite state machine model ...


Sequential circuit design using Quantum-dot Cellular Automata (QCA)

Lee Ai Lim; Azrul Ghazali; Sarah Chan Tji Yan; Chau Chien Fat 2012 IEEE International Conference on Circuits and Systems (ICCAS), 2012

As the size of CMOS transistors keep shrinking, it will eventually hit its limitation. Hence, an alternative device has to be discovered to continually improve the development of electronics devices. Quantum-dot cellular automata (QCA), is a potential device that can be used to implement digital circuits. In this paper, we present the basic theory of QCA cell and some fundamental ...


Process models as multi-reader collaborative hyperdocuments

P. D. Stotts; R. Furuta Proceedings. Ninth International Software Process Workshop, 1994

The Trellis model of human/computer interaction, in the context of hypermedia documents, is a good basis for specifying and applying software process models. The emphasis on user-direction of control gained from the hypermedia paradigm makes Trellis models inherently less program-like and more human- oriented. Trellis differs from other hypermedia models by using parallel automata (colored timed Petri nets) as hyperdocument ...


A Practical Solution to Trusted Computing Platform Testing

Huanguo Zhang; Jie Luo; Fei Yan; Mingdi Xu; Fan He; Jing Zhan 2008 Third Asia-Pacific Trusted Infrastructure Technologies Conference, 2008

Trusted computing is a new generation technology of secure computing environment proposed by trusted computing group (TCG). Although many TC vendors claim that their products are compliant to TCG specifications, itpsilas very difficult to affirm it. Moreover, according to some government regulations on security, TC products shall require the official approval. Thus the testing and evaluation on TC products are ...


More eLearning Resources

IEEE-USA E-Books

  • Other Variants of PDL

    This chapter contains sections titled: Deterministic PDL and While Programs, Restricted Tests, Representation by Automata, Complementation and Intersection, Converse, Well-Foundedness and Total Correctness, Concurrency and Communication, Bibliographical Notes

  • The Margolus neighborhood

    This chapter contains sections titled: Block rules, Particles in motion, Collisions, How to turn a block rule into a cell rule, The Margolus neighbors, Even/odd grid selection, phase-sensitive gas, Examples

  • Physical modeling

    Recently, cellular automata machines with the size, speed, and flexibility for general experimentation at a moderate cost have become available to the scientific community. These machines provide a laboratory in which the ideas presented in this book can be tested and applied to the synthesis of a great variety of systems. Computer scientists and researchers interested in modeling and simulation as well as other scientists who do mathematical modeling will find this introduction to cellular automata and cellular automata machines (CAM) both useful and timely.Cellular automata are the computer scientist's counterpart to the physicist's concept of 'field' They provide natural models for many investigations in physics, combinatorial mathematics, and computer science that deal with systems extended in space and evolving in time according to local laws. A cellular automata machine is a computer optimized for the simulation of cellular automata. Its dedicated architecture allows it to run thousands of times faster than a general-purpose computer of comparable cost programmed to do the same task. In practical terms this permits intensive interactive experimentation and opens up new fields of research in distributed dynamics, including practical applications involving parallel computation and image processing.Contents: Introduction. Cellular Automata. The CAM Environment. A Live Demo. The Rules of the Game. Our First rules. Second-order Dynamics. The Laboratory. Neighbors and Neighborhood. Running. Particle Motion. The Margolus Neighborhood. Noisy Neighbors. Display and Analysis. Physical Modeling. Reversibility. Computing Machinery. Hydrodynamics. Statistical Mechanics. Other Applications. Imaging Processing. Rotations. Pattern Recognition. Multiple CAMS. Persp ectives and Conclusions.Tommaso Toffoli and Norman Margolus are researchers at the Laboratory for Computer Science at MIT. Cellular Automata Machines is included in the Scientific Computation Series, edited by Dennis Cannon.

  • 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.

  • Supervisory Hybrid Control Systems

    The exploitation of well-honed techniques and the exploration of new challenges need not be mutually exclusive strategies for research. This maxim is illustrated by an emerging technology in control: hybrid dynamical systems. These systems combine, within a unified framework and formulation, discrete- event systems (for more on these systems, see Chapter 2) and continuous-time dynamics. Hybrid systems represent a broadening of the scope of control, with infusions of ideas and theories from other fields, especially formal methods in computer science. This chapter discusses hybrid systems in some depth, with particular emphasis on supervisory applications. In this case, the discrete events are viewed as supervisory decisions affecting the qualitative behavior of a system, with different ?>modes?> of behavior exhibiting different continuous dynamics. An example of a two-arm robotic platform is used to motivate the technical discussion, and other applications are also noted. Other chapters in this volume also outline applications of hybrid dynamical systems (e.g., Chapter 14). Variable structure control, the topic of Chapter 8, can also be considered a hybrid system approach to control. This chapter introduces and explains several new concepts, borrowed in some cases from computer science, that are important for the analysis and synthesis of supervisory hybrid systems. Hybrid automata, an extension of finite state machines, are a popular representational formalism. Together with temporal logics, which can be used to formulate specifications for hybrid control systems, these representations allow the safety and performance of the system to be automatically determined, under some assumptions.

  • A minimal Forth tutorial

    This chapter contains sections titled: The command interpreter, The compiler, The dictionary, Numbers, The stack, Expressions, Editing and loading, "Constants" and "variables", Iteration, Stack comments, DUP, DROP, etc., Case selection, Conditional statements, Logical expressions, Further readings

  • Symptoms vs causes

    This chapter contains section titled: Fine-grained models of physics

  • Previous Approaches

    This chapter contains sections titled: Bandit Problems, Learning Automata, Reinforcement-Comparison Methods, Associative Methods, Genetic Algorithms, Extensions to the Model, Conclusions

  • Computers and AutomataDecimal classification: 621.385.2. Original manuscript received by the Institute, July 17, 1953.

    This paper reviews briefly some of the recent developments in the field of automata and nonnumerical computation. A number of typical machines are described, including logic machines, game-playing machines and learning machines. Some theoretical questions and developments are discussed, such as a comparison of computers and the brain, Turing's formulation of computing machines and von Neumann's models of self-reproducing machines.

  • 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.



Standards related to Automata

Back to Top

No standards are currently tagged "Automata"


Jobs related to Automata

Back to Top