Logic Control and “Reactive” Systems: Algorithmization and Programming

Authors:
A. A. Shalyto
Affiliations:
Federal State Science Center Avrora, St. Petersburg, Russia. State Institute of Fine Mechanics and Optics, St. Petersburg, Russia
Venue:
Automation and Remote Control
Year:
2001

Citing 55
Cited 7

The C++ programming language

The C++ programming language
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Strategies for real-time system specification

Strategies for real-time system specification
Chip-level modeling with VHDL

Chip-level modeling with VHDL
STATEMATE: A Working Environment for the Development of Complex Reactive Systems

IEEE Transactions on Software Engineering
Introduction to algorithms

Introduction to algorithms
Object oriented design with applications

Object oriented design with applications
On the development of reactive systems

Logics and models of concurrent systems
Object lifecycles: modeling the world in states

Object lifecycles: modeling the world in states
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design

IEEE Transactions on Software Engineering
Object-oriented modeling and design

Object-oriented modeling and design
An introduction to object-oriented programming

An introduction to object-oriented programming
Engineering real time systems: an object-oriented methodology using SDL

Engineering real time systems: an object-oriented methodology using SDL
Real-time object-oriented modeling

Real-time object-oriented modeling
Object-oriented analysis and design with applications (2nd ed.)

Object-oriented analysis and design with applications (2nd ed.)
Object-oriented integration testing

Communications of the ACM
Computer-aided verification of coordinating processes: the automata-theoretic approach

Computer-aided verification of coordinating processes: the automata-theoretic approach
Designing object systems: object-oriented modelling with Syntropy

Designing object systems: object-oriented modelling with Syntropy
State Transition Analysis: A Rule-Based Intrusion Detection Approach

IEEE Transactions on Software Engineering
Designing object-oriented C++ applications: using the Booch method

Designing object-oriented C++ applications: using the Booch method
Pattern of events

Pattern languages of program design
Completeness and Consistency in Hierarchical State-Based Requirements

IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report

IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Case studies in object oriented analysis & design

Case studies in object oriented analysis & design
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Timing Analysis of Ada Tasking Programs

IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Where Do Operations Come From? A Multiparadigm Specification Technique

IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
UML distilled: applying the standard object modeling language

UML distilled: applying the standard object modeling language
Specification of realtime systems using ASTRAL

IEEE Transactions on Software Engineering
Advanced object-oriented analysis and design using UML

Advanced object-oriented analysis and design using UML
Analyzing Partially-Implemented Real-Time Systems

IEEE Transactions on Software Engineering
The Unified Modeling Language user guide

The Unified Modeling Language user guide
On Communicating Finite-State Machines

Journal of the ACM (JACM)
Unix and Beyond: An Interview with Ken Thompson

Computer
Real-Time UML: Developing Efficient Objects for Embedded Systems

Real-Time UML: Developing Efficient Objects for Embedded Systems
Programmable Controllers: Principles and Applications

Programmable Controllers: Principles and Applications
The Mythical Man-Month: Essays on Softw

The Mythical Man-Month: Essays on Softw
Programmable Controllers: Theory and Implementation

Programmable Controllers: Theory and Implementation
A Discipline of Programming

A Discipline of Programming
Modeling Reactive Systems with Statecharts: The Statemate Approach

Modeling Reactive Systems with Statecharts: The Statemate Approach
Mastering UML with Rational Rose 2002

Mastering UML with Rational Rose 2002
Testing Computer Software

Testing Computer Software
Programming in C++

Programming in C++
Theory and Design Switching Circ

Theory and Design Switching Circ
Introduction to the Design and Analysis of Algorithms

Introduction to the Design and Analysis of Algorithms
Structured Development for Real-Time Systems

Structured Development for Real-Time Systems
Executable Object Modeling with Statecharts

Computer
Hardware Compilation: Translating Programs into Circuits

Computer
Evaluating Deadlock Detection Methods for Concurrent Software

IEEE Transactions on Software Engineering
Automatic Symbolic Verification of Embedded Systems

IEEE Transactions on Software Engineering
The State-Based Testing of Object-Oriented Programs

ICSM '93 Proceedings of the Conference on Software Maintenance
COVERS - A Tool for the Design of Real-time Concurrent Systems

PaCT '95 Proceedings of the 3rd International Conference on Parallel Computing Technologies
An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems

CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
Object-Oriented Software Engineering: A Use Case Driven Approach

Object-Oriented Software Engineering: A Use Case Driven Approach

ECESS Platform for Web Based TTS Modules and Systems Evaluation

Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction
Finite-state machine based distributed framework DATA for intelligent ambience systems

CIMMACS'09 Proceedings of the 8th WSEAS International Conference on Computational intelligence, man-machine systems and cybernetics
Remote-based text-to-speech modules' evaluation framework: the RES framework

Language Resources and Evaluation
Finite state machine induction using genetic algorithm based on testing and model checking

Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
Genetic algorithm for induction of finite automata with continuous and discrete output actions

Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
Evolving EFSMs solving a path-planning problem by genetic programming

Proceedings of the 14th annual conference companion on Genetic and evolutionary computation
Search-based construction of finite-state machines with real-valued actions: new representation model

Proceedings of the 15th annual conference companion on Genetic and evolutionary computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Algorithmization and programming principles for logic control and “reactive” systems are formulated, regarding algorithms and programs as finite automata. The application of finite automata to programming for other problems is also reviewed.