Automatic synthesis of action programs for intelligent robots

Osipov, Vasiliy

doi:10.1134/s0361768816030063

“…Since there are too many possible states, some of them can be unknown, it is not possible to describe all the states of the automata apriori. Due to that relatively finite automata are used (Osipov, 2016). They are finite only for one moment of time.…”

Section: Multilevel Synthesis Of Monitoring Programs Monitoring Objecmentioning

confidence: 99%

“…The model of the automata at one level can be defined in the following way (Osipov, 2016;Osipov et al, 2017):…”

Section: Automata Models For Programs Synthesismentioning

confidence: 99%

Reconfigurable monitoring for telecommunication networks

Tianxing

¹

,

Osipov

²

,

Vodyaho

³

et al. 2020

PeerJ Computer Science

View full text Add to dashboard Cite

This article addresses the monitoring problem of the telecommunication networks. We consider these networks as multilevel dynamic objects. It shows that reconfigurable systems are necessary for their monitoring process in real life. We implement the reconfiguration abilities of the systems through the synthesis of monitoring programs and their execution in the monitoring systems and on the end-user devices. This article presents a new method for the synthesis of monitoring programs and develops a new language to describe the monitoring programs. The programs are translated into binary format and executed by the virtual machines installed on the elements of the networks. We present an example of the program synthesis for real distributed networks monitoring at last.

show abstract

“…The model of the automata at one level can be defined in the following way ( Osipov, V. Yu. et al 2016;Osipov, V. Yu.…”

Section: Computer Sciencementioning

confidence: 99%

Peer Review #2 of "Reconfigurable monitoring for telecommunication networks (v0.3)"

2020

0

View full text Add to dashboard Cite

This article addresses the monitoring problem of the telecommunication networks. We consider these networks as multilevel dynamic objects. It shows that reconfigurable systems are necessary for their monitoring process in real life. We implement the reconfiguration abilities of the systems through the synthesis of monitoring programs and their execution in the monitoring systems and on the end-user devices. This article presents a new method for the synthesis of monitoring programs and develops a new language to describe the monitoring programs. The programs are translated into binary format and executed by the virtual machines installed on the elements of the networks. We present an example of the program synthesis for real distributed networks monitoring at last.

show abstract

“…to describe all the states of the automata apriori. Due to that relatively finite automata are used (Osipov, V. Yu. et al 2016).…”

Section: Computer Sciencementioning

confidence: 99%

Peer Review #2 of "Reconfigurable monitoring for telecommunication networks (v0.1)"

2020

0

View full text Add to dashboard Cite

This article addresses the monitoring problem of the telecommunication networks. We consider these networks as multilevel dynamic objects. It shows that reconfigurable systems are necessary for their monitoring process in real life. We implement the reconfiguration abilities of the systems through the synthesis of monitoring programs and their execution in the monitoring systems and on the end-user devices. This article presents a new method for the synthesis of monitoring programs and develops a new language to describe the monitoring programs. The programs are translated into binary format and executed by the virtual machines installed on the elements of the networks. We present an example of the program synthesis for real distributed networks monitoring at last.

show abstract

Automatic synthesis of action programs for intelligent robots

Cited by 15 publications

References 4 publications

Reconfigurable monitoring for telecommunication networks

Reconfigurable monitoring for telecommunication networks

Peer Review #2 of "Reconfigurable monitoring for telecommunication networks (v0.3)"

Peer Review #2 of "Reconfigurable monitoring for telecommunication networks (v0.1)"

Contact Info

Product

Resources

About