ariadne-cps release-1.0 issues

ariadne-cps / release-1.0

Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems

http://www.ariadne-cps.org

GNU General Public License v3.0

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Travis integration on macos gcc

#54 lgeretti opened 6 years ago
0
dummy issue

#4 lgeretti closed 6 years ago
0
dummy issue

#3 lgeretti closed 6 years ago
0
dummy issue

#2 lgeretti closed 6 years ago
0
dummy issue

#1 lgeretti closed 6 years ago
0
Discretization issue on CMake vs Autotools

#53 lgeretti closed 7 years ago
1
Missed events when the step size is large

#52 lgeretti opened 7 years ago
0
TaylorModel::value() after reconditioning not working correctly

#51 lgeretti opened 7 years ago
5
Change the step size relation to grid

#50 lgeretti opened 7 years ago
0
Add consistency checks for evolver settings

#49 lgeretti opened 7 years ago
0
Add Ariadne into the list of tools for Hybrid System on wikipedia

#48 lgeretti opened 7 years ago
0
Using C++11 introduces error in evolution

#47 lgeretti opened 7 years ago
0
Review `Void Enclosure:: uniform_error_recondition()`

#46 lgeretti closed 7 years ago
1
Create Builder for HybridIOAutomaton

#45 lgeretti closed 7 years ago
1
Always active guards to urgent transitions are misinterpreted

#44 lgeretti closed 7 years ago
1
Hierarchical composition

#43 lgeretti opened 7 years ago
0
Renaming the I/O interface of automata

#42 lgeretti opened 7 years ago
0
Create Builders for Evolver, ReachabilityAnalyser and Verifier

#41 lgeretti opened 8 years ago
0
Algebraic expressions

#40 lgeretti closed 7 years ago
1
Evolution time estimation too coarse for finite time discretiser routines

#39 lgeretti opened 8 years ago
0
Check evolution invariance to scale

#38 lgeretti opened 8 years ago
2
Deal with the laser example using non-quadratic raised cosine

#37 lgeretti opened 8 years ago
0
Analyze the possibility to perform mesh reachability analysis

#36 lgeretti opened 8 years ago
2
Identify the zi ratio on x0_critical/x0_far for different values of Tscan

#35 lgeretti closed 8 years ago
2
Identify the relationship between scan period and depth for the laser example

#34 lgeretti closed 8 years ago
2
Adapt TaylorModel accuracy parameters

#33 lgeretti opened 8 years ago
1
Identify the maximum scan period for the critical x0

#32 lgeretti closed 8 years ago
1
TaylorModel::_range3() does not work correctly

#31 lgeretti closed 8 years ago
2
Analyze the maximum zi value for the laser example

#30 lgeretti closed 8 years ago
6
Improve error absorption

#29 lgeretti opened 8 years ago
0
Review the Lanotte-Dini article

#28 lgeretti opened 8 years ago
0
Unit domain mismatch in laser example

#27 lgeretti closed 8 years ago
3
Input events acceptance influences the event source automaton

#26 lgeretti opened 8 years ago
1
Unspecified dynamics for a mode do not raise an error

#25 lgeretti opened 8 years ago
0
Dangling input events cause transitions to be always taken

#24 lgeretti opened 8 years ago
0
IntersectionException in the laser case study

#23 lgeretti opened 8 years ago
0
Fix the CMOS inverter example

#22 lgeretti opened 8 years ago
0
Convert dominance examples to the compositional format

#21 lgeretti opened 8 years ago
0
Safe settings update for evolver/analyser

#20 lgeretti opened 8 years ago
0
Create a FindAriadne.cmake module

#19 lgeretti opened 8 years ago
0
Detection of the class of an automaton

#18 lgeretti opened 8 years ago
0
Input/internal/output parameters

#17 lgeretti opened 8 years ago
0
Account for default reset values

#16 lgeretti opened 8 years ago
0
Paper on Metronomy

#15 lgeretti opened 8 years ago
0
BoxHybridEvolver

#14 lgeretti opened 8 years ago
0
Study the Flow* software

#13 lgeretti opened 8 years ago
0
Study the Tulip software

#12 lgeretti closed 7 years ago
1
Introduce a PLL example

#11 lgeretti opened 8 years ago
0
Provide a list of warnings/errors for an automaton definition

#10 lgeretti opened 8 years ago
0
Adaptive enclosure boxing events

#9 lgeretti closed 8 years ago
8