[PRE REVIEW]: Dionysos.jl: a Modular Platform for Smart Symbolic Control

[editorialbot]

Submitting author: !--author-handle-->@adrienbanse<!--end-author-handle-- (Adrien Banse) Repository: https://github.com/dionysos-dev/Dionysos.jl Branch with paper.md (empty if default branch): Version: v0.1.2 Editor: !--editor-->@lucaferranti<!--end-editor-- Reviewers: @schillic, @jmskov Managing EiC: Mathieu Besançon

Status

Status badge code:

HTML: <a href="https://proceedings.juliacon.org/papers/645b14c7e9e951673b26b6d8319d3058"><img src="https://proceedings.juliacon.org/papers/645b14c7e9e951673b26b6d8319d3058/status.svg"></a>
Markdown: [![status](https://proceedings.juliacon.org/papers/645b14c7e9e951673b26b6d8319d3058/status.svg)](https://proceedings.juliacon.org/papers/645b14c7e9e951673b26b6d8319d3058)

Author instructions

Thanks for submitting your paper to JCON @adrienbanse. Currently, there isn't a JCON editor assigned to your paper.

The AEiC suggestion for the handling editor is @lucaferranti.

@adrienbanse if you have any suggestions for potential reviewers then please mention them here in this thread (without tagging them with an @). You can search the list of people that have already agreed to review and may be suitable for this submission.

Editor instructions

The JCON submission bot @editorialbot is here to help you find and assign reviewers and start the main review. To find out what @editorialbot can do for you type:

@editorialbot commands

[editorialbot]

Hello human, I'm @editorialbot, a robot that can help you with some common editorial tasks.

For a list of things I can do to help you, just type:

@editorialbot commands

For example, to regenerate the paper pdf after making changes in the paper source files, type:

@editorialbot generate pdf

[editorialbot]

Software report:

github.com/AlDanial/cloc v 1.90  T=0.20 s (1089.9 files/s, 171969.8 lines/s)
-------------------------------------------------------------------------------
Language                     files          blank        comment           code
-------------------------------------------------------------------------------
Julia                          163           2752           2289          19984
TeX                              9            388            270           3131
XML                              7            167             66           1725
CSV                              2              0              0           1676
Markdown                        17            236              0            700
TOML                             6             11              1            189
YAML                             7              7              5            182
Lisp                             2             16              0             69
Ruby                             1              8              4             45
CSS                              1              0              0              4
-------------------------------------------------------------------------------
SUM:                           215           3585           2635          27705
-------------------------------------------------------------------------------

Commit count by author:

    75  Benoît Legat
    64  guberger
    57  adrienbanse
    39  Julien Calbert
    34  labo-admin
    31  github-actions[bot]
    30  Lucas Egidio
    24  Adrien Banse
    16  vdebauche
    15  CompatHelper Julia
    15  Guillaume Berger
    10  7380Xing
     7  Virginie Debauche
     5  JulienCalbert
     3  MDella92
     2  Zheming Wang
     1  Arnaud Browet
     1  Davide De Lazzari
     1  DeligneS
     1  Mahsa Farjadnia
     1  SMattenet
     1  Thiago Alves Lima
     1  ThiagoAlvesLima
     1  aaspeel
     1  raphaeljungers
     1  somyasingh711995
     1  vuille5

[editorialbot]

Paper file info:

📄 Wordcount for paper.tex is 5585

🔴 Failed to discover a Statement of need section in paper

[editorialbot]

License info:

✅ License found: MIT License (Valid open source OSI approved license)

[editorialbot]

Reference check summary (note 'MISSING' DOIs are suggestions that need verification):

OK DOIs

- 10.1007/s12532-023-00239-3 is OK
- 10.1016/s0005-1098(98)00178-2 is OK
- 10.48550/ARXIV.2401.04068 is OK
- 10.48550/ARXIV.2401.03555 is OK
- 10.1145/1967701.1967748 is OK
- 10.5281/ZENODO.10460005 is OK
- 10.1109/tac.2013.2295664 is OK
- 10.24433/CO.6327570.V2 is OK
- 10.48550/ARXIV.2403.09556 is OK
- 10.1145/1967701.1967730 is OK

MISSING DOIs

- 10.1109/jproc.2012.2189792 may be a valid DOI for title: Cyber–physical systems: A perspective at the cente...
- No DOI given, and none found for title: Principles of cyber-physical systems
- No DOI given, and none found for title: Introduction to embedded systems: A cyber-physical...
- No DOI given, and none found for title: Principles of model checking
- No DOI given, and none found for title: Verification and control of hybrid systems: a symb...
- 10.1007/bfb0055622 may be a valid DOI for title: Alternating refinement relations
- No DOI given, and none found for title: Feedback refinement relations for the synthesis of...
- No DOI given, and none found for title: Formal methods for discrete-time dynamical systems
- No DOI given, and none found for title: Model checking of safety properties
- 10.1109/9.989067 may be a valid DOI for title: A Lyapunov approach to incremental stability prope...
- 10.1016/s0005-1098(98)00019-3 may be a valid DOI for title: On contraction analysis for non-linear systems
- 10.1109/cdc.2011.6160424 may be a valid DOI for title: Safety controller synthesis for switched systems u...
- 10.1145/3178126.3178143 may be a valid DOI for title: Multi-layered abstraction-based controller synthes...
- No DOI given, and none found for title: Safety controller synthesis for incrementally stab...
- 10.1007/978-3-642-00602-9_25 may be a valid DOI for title: Discrete-state abstractions of nonlinear systems u...
- 10.1007/978-3-642-14295-6_49 may be a valid DOI for title: Pessoa: A tool for embedded controller synthesis
- No DOI given, and none found for title: SCOTS: A tool for the synthesis of symbolic contro...
- No DOI given, and none found for title: Design of symbolic controllers for networked contr...
- 10.1007/978-3-540-78929-1_15 may be a valid DOI for title: Approximately bisimilar symbolic models for increm...
- No DOI given, and none found for title: CoSyMA: a tool for controller synthesis using mult...
- 10.1145/136035.136043 may be a valid DOI for title: Symbolic boolean manipulation with ordered binary-...
- 10.1016/j.automatica.2005.08.007 may be a valid DOI for title: Barrier certificates for nonlinear model validatio...
- 10.1007/978-3-540-24743-2_32 may be a valid DOI for title: Safety verification of hybrid systems using barrie...
- 10.1109/cdc45484.2021.9683448 may be a valid DOI for title: Alternating simulation on hierarchical abstraction...
- No DOI given, and none found for title: Abstraction-based branch and bound approach to Q-l...
- 10.1109/cdc51059.2022.9992495 may be a valid DOI for title: State-feedback abstractions for optimal control of...
- No DOI given, and none found for title: Data-driven memory-dependent abstractions of dynam...
- 10.23919/acc55779.2023.10156175 may be a valid DOI for title: Data-driven heuristic symbolic models and applicat...
- 10.1109/lcsys.2024.3409106 may be a valid DOI for title: Smart abstraction based on iterative cover and non...
- No DOI given, and none found for title: Reachability analysis and its application to the s...
- No DOI given, and none found for title: JuliaReach: a toolbox for set-based reachability
- 10.1137/141000671 may be a valid DOI for title: Julia: A fresh approach to numerical computing
- 10.1287/ijoc.2021.1067 may be a valid DOI for title: MathOptInterface: a data structure for mathematica...

INVALID DOIs

- None

[editorialbot]

:point_right::page_facing_up: Download article proof :page_facing_up: View article proof on GitHub :page_facing_up: :point_left:

[lucaferranti]

@editorialbot assign @lucaferranti as editor

[editorialbot]

Assigned! @lucaferranti is now the editor

[adrienbanse]

@editorialbot commands

[editorialbot]

Hello @adrienbanse, here are the things you can ask me to do:

# List all available commands
@editorialbot commands

# Get a list of all editors's GitHub handles
@editorialbot list editors

# Adds a checklist for the reviewer using this command
@editorialbot generate my checklist

# Set a value for branch
@editorialbot set juliacon-paper as branch

# Run checks and provide information on the repository and the paper file
@editorialbot check repository

# Check the references of the paper for missing DOIs
@editorialbot check references

# Generates the pdf paper
@editorialbot generate pdf

# Generates a LaTeX preprint file
@editorialbot generate preprint

# Get a link to the complete list of reviewers
@editorialbot list reviewers

[adrienbanse]

We would like to suggest jmskov and schillic as reviewers

[lucaferranti]

Hi @schillic :wave: ,

would you like to review this JuliaCon proceedings submission?

you can read more about reviewign for JuliaCon proceedings on the reviewer guide.

[lucaferranti]

Hi @jmskov :wave: ,

would you like to review this JuliaCon proceedings submission?

you can read more about reviewign for JuliaCon proceedings on the reviewer guide.

[schillic]

@lucaferranti: I am really not available in June. I am happy to review in July if you can wait.

[lucaferranti]

Thank you for the submission @adrienbanse .

In this prereview issue I will look for reviewers and start a review issue once it's ready. Meanwhile, there seem to be some missing DOIs, could you take a look at it? (note there could be some false negatives)

[lucaferranti]

@schillic , thanks! Sure, starting in July is perfectly fine

[lucaferranti]

@editorialbot add @schillic as reviewer

[editorialbot]

@schillic added to the reviewers list!

[jmskov]

@lucaferranti Happy to review.

[lucaferranti]

@editorialbot add @jmskov as reviewer

[editorialbot]

@jmskov added to the reviewers list!

[lucaferranti]

@editorialbot start review

[editorialbot]

OK, I've started the review over in https://github.com/JuliaCon/proceedings-review/issues/160.

[lucaferranti]

wow, this was probably the fastest preview in history :fearful: :tada: