Application of Constraint Solving and ODE-Enclosure Methods to the Analysis of Hybrid Systems

Mapping Intimacies ◽

10.1063/1.3241327 ◽

2009 ◽

Cited By ~ 1

Author(s):

Andreas Eggers ◽

Martin Fränzle ◽

Christian Herde ◽

Theodore E. Simos ◽

George Psihoyios ◽

...

Keyword(s):

Hybrid Systems ◽

Constraint Solving ◽

Enclosure Methods

Download Full-text

Constraint Solving on Hybrid Systems

Declarative Programming and Knowledge Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00801-7_1 ◽

2018 ◽

pp. 3-19

Author(s):

Pedro Roque ◽

Vasco Pedro

Keyword(s):

Hybrid Systems ◽

Constraint Solving

Download Full-text

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods

Software & Systems Modeling ◽

10.1007/s10270-012-0295-3 ◽

2012 ◽

Vol 14 (1) ◽

pp. 121-148 ◽

Cited By ~ 18

Author(s):

Andreas Eggers ◽

Nacim Ramdani ◽

Nedialko S. Nedialkov ◽

Martin Fränzle

Keyword(s):

Hybrid Systems ◽

Systems Analysis ◽

Enclosure Methods

Download Full-text

Improving Constraint Solving on Parallel Hybrid Systems

2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI) ◽

10.1109/ictai.2018.00114 ◽

2018 ◽

Author(s):

Pedro Roque ◽

Vasco Pedro ◽

Daniel Diaz ◽

Salvador Abreu

Keyword(s):

Hybrid Systems ◽

Constraint Solving ◽

Parallel Hybrid

Download Full-text

Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems

NASA Monographs in Systems and Software Engineering - Provably Correct Systems ◽

10.1007/978-3-319-48628-4_2 ◽

2017 ◽

pp. 9-38

Author(s):

Martin Fränzle ◽

Yang Gao ◽

Sebastian Gerwinn

Keyword(s):

Hybrid Systems ◽

Constraint Solving ◽

Stochastic Hybrid Systems

Download Full-text

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24690-6_13 ◽

2011 ◽

pp. 172-187 ◽

Cited By ~ 13

Author(s):

Andreas Eggers ◽

Nacim Ramdani ◽

Nedialko Nedialkov ◽

Martin Fränzle

Keyword(s):

Hybrid Systems ◽

Systems Analysis ◽

Enclosure Methods

Download Full-text

Handbook of Hybrid Systems Control

10.1017/cbo9780511807930 ◽

2009 ◽

Cited By ~ 141

Keyword(s):

Hybrid Systems ◽

Systems Control

Download Full-text

Hybrid systems for transuranic waste transmutation in nuclear power reactors: state-of-the art and future prospects

Uspekhi Fizicheskih Nauk ◽

10.3367/ufnr.0184.201411f.1237 ◽

2014 ◽

Vol 184 (11) ◽

pp. 1237-1248 ◽

Cited By ~ 3

Author(s):

Dmitrii V. Yurov ◽

Vadim V. Prikhodko

Keyword(s):

Hybrid Systems ◽

Nuclear Power ◽

State Of The Art ◽

Future Prospects ◽

Transuranic Waste

Download Full-text

Representations of Solutions for Controlled Hybrid Systems

Journal of Automation and Information Sciences ◽

10.1615/jautomatinfscien.v34.i11.20 ◽

2002 ◽

Vol 34 (11) ◽

pp. 8

Author(s):

Vladimir M. Marchenko

Keyword(s):

Hybrid Systems

Download Full-text

Learning to Coordinate Control Policies of Hybrid Systems

1993 American Control Conference ◽

10.23919/acc.1993.4792798 ◽

1993 ◽

Cited By ~ 3

Author(s):

M.D. Lemrnon ◽

J. Stiver ◽

P.J. Antsaklis

Keyword(s):

Hybrid Systems ◽

Control Policies ◽

Coordinate Control

Download Full-text

Bounded model switching in uncertain hybrid systems

Proceedings of the 2004 American Control Conference ◽

10.23919/acc.2004.1384676 ◽

2004 ◽

Author(s):

P.G. Otanez ◽

M.E. Campbell

Keyword(s):

Hybrid Systems

Download Full-text