229,909 Hits in 5.2 sec


Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray
2011 Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11  
This paper describes TuLiP, a Python-based software toolbox for the synthesis of embedded control software that is provably correct with respect to an expressive subset of linear temporal logic (LTL) specifications  ...  TuLiP combines routines for (1) finite state abstraction of control systems, (2) digital design synthesis from LTL specifications, and (3) receding horizon planning.  ...  The embedded control software needs to be able to integrate discrete and continuous decision-making and provide correctness guarantee with respect to a given specification.  ... 
doi:10.1145/1967701.1967747 dblp:conf/hybrid/WongpiromsarnTOXM11 fatcat:tecvr52utref7itbum6snl3wxm

A tool suite for the model-driven software engineering of cyber-physical systems

Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann
2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014  
As a result, those systems should be correct by construction. Software architects can achieve this by using the MECHATRON-ICUML process and language.  ...  ., autonomous cars or trains, interact with their physical environment.  ...  This work is partially developed in the Leading-Edge Cluster 'Intelligent Technical Systems Ost-WestfalenLippe' (it's OWL). it's OWL is funded by the German Federal Ministry of Education and Research (  ... 
doi:10.1145/2635868.2661665 dblp:conf/sigsoft/DziwokGBTHP14 fatcat:rk3gdklwczednkx3olkwgb7ztm

Supporting integrated modelling of parallel hybrid systems [chapter]

C. I. Birkinshaw, P. R. Groll
1996 IFIP Advances in Information and Communication Technology  
PERCH is the name of a software tool specifically designed to capture the requirements of hybrid systems.  ...  The tool encourages a parallel view of the systems being modelled and acts as a high level interface to further parallel design and analysis environments.  ...  of both continuous and discrete components.  ... 
doi:10.1007/978-0-387-34984-8_31 fatcat:qotqhnwngbdidmmesnrdpadqne

Keynote: Hierarchical Fault Detection in Embedded Control Software

C. Zhou, R. Kumar, S. Jiang
2008 2008 32nd Annual IEEE International Computer Software and Applications Conference  
Note since the control changes only at the discrete times when the system/environment states are sampled, the controlledsystem has a discrete-time hybrid dynamics which can be modeled as an I/O-EFA.  ...  presence of a software fault.  ...  This is because, in an embedded control application, the control changes only at discrete times when the system/environment states are sampled, and as a result the controlled-system has a discrete-time  ... 
doi:10.1109/compsac.2008.60 dblp:conf/compsac/ZhouKJ08 fatcat:cup5uk4prbhpjk6hspzdp2iwju

Guest editorial: special issue on formal methods in control

Necmiye Ozay, Paulo Tabuada
2017 Discrete event dynamic systems  
Issue at a glance The call for papers attracted twelve submissions. After a thorough review process, six full papers and two short papers were selected to appear in the special issue.  ...  Acknowledgements The guest editors wish to thank all the authors, for their submissions, and the reviewers, for their timely and careful evaluation of the submitted papers.  ...  Many complex control tasks require discrete (non-smooth) decision making while the underlying dynamics are continuous.  ... 
doi:10.1007/s10626-017-0246-9 fatcat:7pbowztuabfj7gbklwbcbrv6oq

An approach to a hybrid software process simulation using the DEVS formalism

KeungSik Choi, Doo-Hwan Bae, TagGon Kim
2006 Software Process: Improvement and Practice  
Many previous researchers on hybrid SPSM have described both discrete and continuous aspects of the software development process to provide more realistic simulation models.  ...  This article proposes an approach to a hybrid software process simulation modeling (SPSM) using discrete event system specification (DEVS) formalism, which implements the dynamic structure and discrete  ...  among activities Continuous model Dynamic feedback loops calculate a number of equations for product, process, and project factors SD model passes out the project environment data to discrete  ... 
doi:10.1002/spip.284 fatcat:3vyuebdkuffprl3ppavxyapy7i

Towards a Well-Founded Software Component Model for Cyber-Physical Control Systems

Jacques Malenfant
2018 2018 Second IEEE International Conference on Robotic Computing (IRC)  
We present how the resulting comprehensive modeling tool can support the different phases of the software development to provide more reliable, more robust and more adaptable CPCS.  ...  In this paper, we propose to integrate hybrid systems and their declension as hybrid automata and DEVS simulation models within a full-fledged and well-founded software component model tailored for CPCS  ...  The continuous dynamics, controlled by control laws U q within each discrete state q, is defined by a set of equations f q that may be of different types, but often algebraic equations or differential  ... 
doi:10.1109/irc.2018.00055 dblp:conf/irc/Malenfant18 fatcat:fqveuttzrnazxg3w5r3wfh4tja

Assured Mission Adaptation of UAVs [article]

Sebastián Zudaire, Leandro Nahabedian, Sebastián Uchitel
2021 arXiv   pre-print
The architecture brings together architectural concepts that are commonplace in robotics such as temporal planning, discrete, hybrid and continuous control layers together with architectural concepts from  ...  In this paper we propose an approach for adaptation of mobile robot missions that is not constrained to a predefined set of mission evolutions.  ...  Given an LTS E describing the execution environment of a discrete controller with a set of controllable actions L and a task specification ϕ expressed in FLTL, the goal of controller synthesis is to find  ... 
arXiv:2107.10173v1 fatcat:bc7w2tytojf3bk5y52optbxism

Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems [chapter]

J. Latvakoski, H. Honka
1999 IFIP Advances in Information and Communication Technology  
The novelty of the presented approach is that simulation time is used to control the level of nondeterminism caused by the environment of the software under test.  ...  The test system is controlled in such a manner that external non-determinism is allowed, reduced, or eliminated according to the instructions given by the tester.  ...  Controllability denotes the ease of producing a specific output from a specific input.  ... 
doi:10.1007/978-0-387-35567-2_24 fatcat:xvoouktxg5bazho4v42a62awd4

An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems [chapter]

Clemens Reichmann, Markus Kühl, Klaus D. Müller-Glaser
2003 Lecture Notes in Computer Science  
It supports object-oriented system modeling for software components in embedded systems in addition to time-discrete and time-continuous modeling concepts.  ...  Utilizing the Unified Modeling Language notation for an overall system design cycle, the focus of this paper lies on the subsystem coupling of heterogeneous systems and on a new code generation approach  ...  Therefore, development of mixed-domain systems with both time-discrete and time-continuous subsystems and additional software components is not a continuous design process today.  ... 
doi:10.1007/3-540-36578-8_5 fatcat:nr7ztjrxofcsxpzmlwvnatasku

Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems

Sandeep K. Shukla, Jean-Pierre Talpin
2011 IEEE transactions on computers  
However, CPS systems have a dichotomy (between the continuous and the discrete) which poses challenges to their algorithmic development, proof of stability and robustness, etc.  ...  of discrete signals.  ...  This is often called digital control because the continuously varying parameters are sampled and discretized, while the control algorithms process the information to create control actuations in the form  ... 
doi:10.1109/tc.2011.119 fatcat:fl2inn3hnbaqrbd5givz5dqqte

Model driven development with mechatronic UML

Wilhelm Schafer
2008 Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC  
We further refine the component model to define a proper integration between discrete and continuous control such that the reconfiguration of hierarchical component systems can be described in a modular  ...  of discrete and continuous behavior results in very large or even infinite state spaces to be considered when verifying a complete model of the system [1, 9] .  ...  We further refine the component model to define a proper integration between discrete and continuous control such that the reconfiguration of hierarchical component systems can be described in a modular  ... 
doi:10.1109/vlhcc.2008.4639050 dblp:conf/vl/Schafer08 fatcat:alrmyw5c6bggnp43mih34ifkyi

Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software [chapter]

T. John Koo, Judy Liebman, Cedric Ma, S. Shankar Sastry
2001 Lecture Notes in Computer Science  
Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives and system specifications.  ...  We briefly illustrate our approach through an embedded software design for the control of a group of autonomous vehicles.  ...  with a continuous physical environment.  ... 
doi:10.1007/3-540-45449-7_24 fatcat:gerf3rd6wza47ecsxxbfbglzvu

Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach [chapter]

A. Dubey, X. Wu, H. Su, T. J. Koo
2005 Lecture Notes in Computer Science  
In this paper, we describe a computation platform called ReachLab, which enables automatic analysis of embedded software systems that interact with continuous environment.  ...  Moreover, the platform is designed in such a way that the concerns of design and implementation of analysis algorithms are separated.  ...  Typically, they consist of one or more discrete software components performing computation on a real-time operating system (RTOS) to control the continuous environment.  ... 
doi:10.1007/11562948_11 fatcat:tf4comjzbzcplfzxpnjqqnn3wq

Testing Embedded Control Systems with TTCN-3 [chapter]

Ina Schieferdecker, Jürgen Großmann
2007 Lecture Notes in Computer Science  
A test environment that adequately supports the specification, execution and evaluation of tests for embedded control systems has to provide concepts to handle this kind of signals.  ...  Control systems often interact with their environment trough sensors and actuators using continuous signals.  ...  However as mentioned before: while the testing of discrete controls is well understood and available in TTCN-3 [4] , concepts for specification-based testing of continuous controls and for the relation  ... 
doi:10.1007/978-3-540-75664-4_13 fatcat:egpijr5ffrdvxfcboc6ymxgf74
« Previous Showing results 1 — 15 out of 229,909 results