A proof-based method of hybrid systems development using differential invariants

Jie Liu; Jing Liu; Miaomiao Zhang; Haiying Sun; Xiaohong Chen; Dehui Du; Mingsong Chen

doi:10.1007/s11704-018-7213-y

A proof-based method of hybrid systems development using differential invariants

Frontiers of Computer Science ◽

10.1007/s11704-018-7213-y ◽

2018 ◽

Vol 12 (5) ◽

pp. 1026-1028

Author(s):

Jie Liu ◽

Jing Liu ◽

Miaomiao Zhang ◽

Haiying Sun ◽

Xiaohong Chen ◽

...

Keyword(s):

Hybrid Systems ◽

Systems Development ◽

Differential Invariants

Download Full-text

Computing differential invariants of hybrid systems as fixedpoints

Formal Methods in System Design ◽

10.1007/s10703-009-0079-8 ◽

2009 ◽

Vol 35 (1) ◽

pp. 98-120 ◽

Cited By ~ 38

Author(s):

André Platzer ◽

Edmund M. Clarke

Keyword(s):

Hybrid Systems ◽

Differential Invariants

Download Full-text

Computing Differential Invariants of Hybrid Systems as Fixedpoints

10.21236/ada476791 ◽

2008 ◽

Cited By ~ 8

Author(s):

Andre Platzer ◽

Edmund M. Clarke

Keyword(s):

Hybrid Systems ◽

Differential Invariants

Download Full-text

Computing Differential Invariants of Hybrid Systems as Fixedpoints

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_17 ◽

2008 ◽

pp. 176-189 ◽

Cited By ~ 34

Author(s):

André Platzer ◽

Edmund M. Clarke

Keyword(s):

Hybrid Systems ◽

Differential Invariants

Download Full-text

Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B

Lecture Notes in Computer Science - Abstract State Machines, Alloy, B, TLA, VDM, and Z ◽

10.1007/978-3-319-91271-4_11 ◽

2018 ◽

pp. 155-170 ◽

Cited By ~ 9

Author(s):

Guillaume Dupont ◽

Yamine Aït-Ameur ◽

Marc Pantel ◽

Neeraj Kumar Singh

Keyword(s):

Hybrid Systems ◽

Dynamic Logic ◽

Systems Development

Download Full-text

New tools for engine control systems development

Annual Reviews in Control ◽

10.1016/s1367-5788(99)00012-7 ◽

1999 ◽

Vol 23 (1) ◽

pp. 109-116

Author(s):

R Stobart

Keyword(s):

Control Systems ◽

Systems Development ◽

Engine Control

Download Full-text

Handbook of Hybrid Systems Control

10.1017/cbo9780511807930 ◽

2009 ◽

Cited By ~ 141

Keyword(s):

Hybrid Systems ◽

Systems Control

Download Full-text

Healthy Planning: The Newsletter of the Health Planning and Systems Development Section for Spring/Summer 2009

PsycEXTRA Dataset ◽

10.1037/e519442010-001 ◽

2009 ◽

Keyword(s):

Health Planning ◽

Systems Development ◽

Development Section

Download Full-text

Drug Control: Expanded Military Surveillance Not Justified by Measurable Goals or Results: Statement of Louis J. Rodrigues, Director, Systems Development and Production Issues, National Security and International Affairs Division. Testimony Before the Legislation and National Security Subcommittee, Committee on Government Operations, House of Representatives

PsycEXTRA Dataset ◽

10.1037/e542372006-001 ◽

1993 ◽

Author(s):

Louis J. Rodrigues

Keyword(s):

National Security ◽

House Of Representatives ◽

Systems Development ◽

Drug Control ◽

International Affairs

Download Full-text

Human Factors and Systems Engineering -- Integrating for successful systems development

PsycEXTRA Dataset ◽

10.1037/e578312012-014 ◽

2008 ◽

Author(s):

Jennifer McGovern Narkevicius

Keyword(s):

Human Factors ◽

Systems Engineering ◽

Systems Development

Download Full-text

Towards more flexible management of software systems development using meta-models

Software Engineering Journal ◽

10.1049/sej.1995.0011 ◽

1995 ◽

Vol 10 (3) ◽

pp. 79 ◽

Cited By ~ 4

Author(s):

C.W. Dawson ◽

R.J. Dawson

Keyword(s):

Systems Development ◽

Software Systems ◽

Flexible Management

Download Full-text