Search Results - Daniil S. Chivilikhin

Refine Results
  1. 1
    CSP-based inference of function block finite-state models from execution traces

    CSP-based inference of function block finite-state models from execution traces by Chivilikhin, Daniil, Ulyantsev, Vladimir, Shalyto, Anatoly, Vyatkin, Valeriy

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Reconstruction of function block controllers based on test scenarios and verification

    Reconstruction of function block controllers based on test scenarios and verification by Chivilikhin, Daniil, Ivanov, Ilya, Shalyto, Anatoly, Vyatkin, Valeriy

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    AUTOMATA PROGRAMS CONSTRUCTION FROM SPECIFICATION WITH AN ANT COLONY OPTIMIZATION ALGORITHM BASED ON MUTATION GRAPH

    AUTOMATA PROGRAMS CONSTRUCTION FROM SPECIFICATION WITH AN ANT COLONY OPTIMIZATION ALGORITHM BASED ON MUTATION GRAPH by Daniil S. Chivilikhin, Vladimir I. Ulyantsev, Valeriy V. Vyatkin, Anatoly A. Shalyto

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver

    fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver by Chukharev, Konstantin, Chivilikhin, Daniil

    Published in IEEE access
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver

    Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver by Chivilikhin, Daniil, Patil, Sandeep, Chukharev, Konstantin, Cordonnier, Anthony, Vyatkin, Valeriy

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    BeBoSy: Behavior Examples Meet Bounded Synthesis

    BeBoSy: Behavior Examples Meet Bounded Synthesis by Chivilikhin, Daniil, Zakirzyanov, Ilya, Ulyantsev, Vladimir

    Published in IEEE access
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Function Block Finite-State Model Identification Using SAT and CSP Solvers

    Function Block Finite-State Model Identification Using SAT and CSP Solvers by Chivilikhin, Daniil, Ulyantsev, Vladimir, Shalyto, Anatoly, Vyatkin, Valeriy

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers

    SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers by Chukharev, Konstantin, Suvorov, Dmitrii, Chivilikhin, Daniil, Vyatkin, Valeriy

    Published in IEEE access
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Automatic state machine reconstruction from legacy PLC using data collection and SAT solver

    Automatic state machine reconstruction from legacy PLC using data collection and SAT solver by Chivilikhin, Daniil, Patil, Sandeep, Chukharev, Konstantin, Cordonnier, Anthony, Vyatkin, Valeriy

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Reconstruction of Function Block Logic Using Metaheuristic Algorithm

    Reconstruction of Function Block Logic Using Metaheuristic Algorithm by Chivilikhin, Daniil, Shalyto, Anatoly, Patil, Sandeep, Vyatkin, Valeriy

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Towards automatic state machine reconstruction from legacy PLC using data collection

    Towards automatic state machine reconstruction from legacy PLC using data collection by Chivilikhin, Daniil, Patil, Sandeep, Cordonnier, Anthony, Vyatkin, Valeriy

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Plant trace generation for formal plant model inference: Methods and case study

    Plant trace generation for formal plant model inference: Methods and case study by Avdyukhin, Dmitry, Chivilikhin, Daniil, Korneev, Georgiy, Ulyantsev, Vladimir, Shalyto, Anatoly

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Closed-loop verification of a compensating group drive model using synthesized formal plant model

    Closed-loop verification of a compensating group drive model using synthesized formal plant model by Ovsiannikova, Polina, Chivilikhin, Daniil, Ulyantsev, Vladimir, Shalyto, Anatoly

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Counterexample-guided inference of controller logic from execution traces and temporal formulas

    Counterexample-guided inference of controller logic from execution traces and temporal formulas by Chivilikhin, Daniil, Buzhinsky, Igor, Ulyantsev, Vladimir, Stankevich, Andrey, Shalyto, Anatoly, Vyatkin, Valeriy

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Active Learning of Formal Plant Models For Cyber-Physical Systems

    Active Learning of Formal Plant Models For Cyber-Physical Systems by Ovsiannikova, Polina, Chivilikhin, Daniil, Ulyantsev, Vladimir, Stankevich, Andrey, Zakirzyanov, Ilya, Vyatkin, Valeriy, Shalyto, Anatoly

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Reconstruction of function block logic using metaheuristic algorithm: Initial explorations

    Reconstruction of function block logic using metaheuristic algorithm: Initial explorations by Chivilikhin, Daniil, Shalyto, Anatoly, Patil, Sandeep, Vyatkin, Valeriy

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Probabilistic Generalization of Backdoor Trees with Application to SAT

    Probabilistic Generalization of Backdoor Trees with Application to SAT by Semenov, Alexander, Chivilikhin, Daniil, Kochemazov, Stepan, Dzhiblavi, Ibragim

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    On Probabilistic Generalization of Backdoors in Boolean Satisfiability

    On Probabilistic Generalization of Backdoors in Boolean Satisfiability by Semenov, Alexander, Pavlenko, Artem, Chivilikhin, Daniil, Kochemazov, Stepan

    Get full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Decomposing Hard SAT Instances with Metaheuristic Optimization

    Decomposing Hard SAT Instances with Metaheuristic Optimization by Chivilikhin, Daniil, Pavlenko, Artem, Semenov, Alexander

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver

    fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver by Chukharev, Konstantin, Chivilikhin, Daniil

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: