Assad Alam, Ather Gattami, Karl H Johansson & Claire J Tomlin (2014):
Guaranteeing safety for heavy duty vehicle platooning: Safe set computations and experimental evaluations.
Control Engineering Practice 24,
pp. 33–41,
doi:10.1016/j.conengprac.2013.11.003.
T Aldemir & P Wang (1999):
The Use of the Cell-to-Cell Mapping Technique as a Model-Based Diagnostic Tool.
Tunc Aldemir (1987):
Computer-assisted Markov failure modeling of process control systems.
IEEE Transactions on reliability 36(1),
pp. 133–144,
doi:10.1109/TR.1987.5222318.
Tunc Aldemir, Mohamed Belhadj & Laurian Dinca (1996):
Process reliability and safety under uncertainties.
Reliability Engineering & System Safety 52(3),
pp. 211–225,
doi:10.1016/0951-8320(95)00133-6.
Tunc Aldemir, Sergio Guarro, Diego Mandelli, Jason Kirschenbaum, L Anthony Mangan, Paolo Bucci, Michael Yau, E Ekici, DW Miller & X Sun (2010):
Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies.
Reliability Engineering & System Safety 95(10),
pp. 1011–1039,
doi:10.1016/j.ress.2010.04.011.
Matthias Althoff & John M Dolan (2014):
Online verification of automated road vehicles using reachability analysis.
IEEE Transactions on Robotics 30(4),
pp. 903–918,
doi:10.1109/TRO.2014.2312453.
Sanket Amberkar, Joseph G D'Ambrosio, Brian T Murray, Joseph Wysocki & Barbara J Czerny (2000):
A system-safety process for by-wire automotive systems.
Technical Report.
SAE Technical Paper,
doi:10.4271/2000-01-1056.
M Belhadj & T Aldemir (1991):
Probabilistic analysis of asymptotic reactor dynamics and the cell-to-cell mapping technique.
Transactions of the American Nuclear Society;(United States) 63(CONF-911107–).
M Belhadj & T Aldemir (1995):
The Cell to Cell Mapping technique and Chapman-Kolmogorov representation of system dynamics.
Journal of sound and vibration 181(4),
pp. 687–707,
doi:10.1006/jsvi.1995.0166.
Manfred Broy (2006):
Challenges in automotive software engineering.
In: Proceedings of the 28th international conference on Software engineering.
ACM,
pp. 33–42,
doi:10.1145/1134285.1134292.
Abraham Cherfi, Michel Leeman, Florent Meurville & Antoine Rauzy (2014):
Modeling automotive safety mechanisms: A Markovian approach.
Reliability Engineering & System Safety 130,
pp. 42–49,
doi:10.1016/j.ress.2014.04.013.
Nabarun Das & William Taylor (2016):
Quantified fault tree techniques for calculating hardware fault metrics according to ISO 26262.
In: Product Compliance Engineering Proceedings (ISPCE), 2016 IEEE Symposium on.
IEEE,
pp. 1–8,
doi:10.1109/ISPCE.2016.7492848.
Laurian Dinca, Tunc Aldemir & Giorgio Rizzoni (1999):
Fault detection and identification in dynamic systems with noisy data and parameter/modeling uncertainties.
Reliability Engineering & System Safety 65(1),
pp. 17–28,
doi:10.1016/S0951-8320(98)00077-5.
Sergio B Guarro, Michael K Yau, Umit Ozguner, Tunc Aldemir, Arda Kurt, Mohammad Hejase & Matt D Knudson (2017):
Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems.
In: AIAA Information Systems-AIAA Infotech@ Aerospace,
pp. 0418,
doi:10.2514/6.2017-0418.
Sergio B Guarro, Michael K Yau, Umit Ozguner, Tunc Aldemir, Arda Kurt, Mohammad Hejase & Matt D Knudson (2017):
Risk Informed Safety Case Framework for Unmanned Aircraft System Flight Software Certification.
SYSTEM 10(11),
pp. 12,
doi:10.2514/6.2017-0910.
Mohammad Hejase, Arda Kurt, Tunc Aldemir, Umit Ozguner, Sergio Guarro, Michael K Yau & Matt Knudson (2018):
Dynamic Probabilistic Risk Assessment of Unmanned Aircraft Adaptive Flight Control Systems.
In: 2018 AIAA Information Systems-AIAA Infotech@ Aerospace,
pp. 1982,
doi:10.2514/6.2018-1982.
Mohammad Hejase, Arda Kurt, Tunc Aldemir, Umit Ozguner, Sergio B Guarro, Michael K Yau & Matt D Knudson (2017):
Quantitative and Risk-Based Framework for Unmanned Aircraft Control System Assurance.
Journal of Aerospace Information Systems,
pp. 1–15,
doi:10.2514/1.I010583.
Mohammad Hejase, Abdullah Ersan Oguz, Arda Kurt, Umit Ozguner & Keith Redmill (2016):
A Hierarchical Hybrid State System Based Controller Design Approach for an Autonomous UAS Mission.
In: 16th AIAA Aviation Technology, Integration, and Operations Conference,
pp. 3294,
doi:10.2514/6.2016-3294.
Gerhard Hofmann & Georg Scharfenberg (2015):
Random Hardware failure compliance of a cell balancing circuit with the requirements of automotive functional safety.
In: Applied Electronics (AE), 2015 International Conference on.
IEEE,
pp. 61–66.
ISO26262 ISO (2011):
26262: Road vehicles-Functional safety.
International Standard ISO/FDIS 26262.
Rolf Johansson (2015):
The Importance of Active Choices in Hazard Analysis and Risk Assessment.
In: CARS 2015-Critical Automotive applications: Robustness & Safety.
Tim Kelly & Rob Weaver (2004):
The goal structuring notation–a safety argument notation.
In: Proceedings of the dependable systems and networks 2004 workshop on assurance cases.
Citeseer.
Andreas Lawitzky, Anselm Nicklas, Dirk Wollherr & Martin Buss (2014):
Determining states of inevitable collision using reachability analysis.
In: Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on.
IEEE,
pp. 4142–4147,
doi:10.1109/IROS.2014.6943146.
Sarah M Loos, André Platzer & Ligia Nistor (2011):
Adaptive cruise control: Hybrid, distributed, and now formally verified.
In: International Symposium on Formal Methods.
Springer,
pp. 42–56,
doi:10.1007/978-3-642-21437-0_6.
Caroline Lu, Jean-Charles Fabre & Marc-Olivier Killijian (2009):
An approach for improving fault-tolerance in automotive modular embedded software.
In: 17th International Conference on Real-Time and Network Systems,
pp. 132–147.
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher & André Platzer (2017):
Formal verification of obstacle avoidance and navigation of ground robots.
The International Journal of Robotics Research 36(12),
pp. 1312–1340,
doi:10.1177/0278364917733549.
Mohammad Modarres, Mark P Kaminskiy & Vasiliy Krivtsov (2016):
System Reliability Analysis.
In: Reliability Engineering and Risk Analysis: A Practical Guide.
CRC Press,
pp. 173–242.
Wassim G Najm, John D Smith & Mikio Yanagisawa (2007):
Pre-crash scenario typology for crash avoidance research.
In: DOT HS.
Citeseer.
Jonas Nilsson, Jonas Fredriksson & Anders CE Ödblom (2014):
Verification of collision avoidance systems using reachability analysis.
IFAC Proceedings Volumes 47(3),
pp. 10676–10681,
doi:10.3182/20140824-6-ZA-1003.01567.
J-H Oetjens, Nico Bannow, Markus Becker, Oliver Bringmann, Andreas Burger, Moomen Chaari, Samarjit Chakraborty, Rolf Drechsler, Wolfgang Ecker & Kim Grüttner (2014):
Safety evaluation of automotive electronics using virtual prototypes: State of the art and research challenges.
In: Design Automation Conference (DAC), 2014 51st ACM/EDAC/IEEE.
IEEE,
pp. 1–6,
doi:10.1145/2593069.2602976.
U Ozguner (1990):
Coordination of hierarchical systems.
In: Intelligent Control, 1990. Proceedings., 5th IEEE International Symposium on.
IEEE,
pp. 2–7,
doi:10.1109/ISIC.1990.128431.
Ümit Özgüner, Tankut Acarman & Keith Alan Redmill (2011):
Autonomous ground vehicles.
Artech House.
Jaeyong Park, Arda Kurt & Ümit Özgüner (2014):
Hybrid Systems Modeling and Reachability-Based Controller Design Methods for Vehicular Automation.
Unmanned Systems 2(02),
pp. 101–119,
doi:10.1142/S2301385014500071.
Purnendu Sinha (2011):
Architectural design and reliability analysis of a fail-operational brake-by-wire system from ISO 26262 perspectives.
Reliability Engineering & System Safety 96(10),
pp. 1349–1359,
doi:10.1016/j.ress.2011.03.013.
Masahiko Takeichi, Yoshinobu Sato, Koichi Suyama & Takuya Kawahara (2011):
Failure rate calculation with priority FTA method for functional safety of complex automotive subsystems.
In: Quality, Reliability, Risk, Maintenance, and Safety Engineering (ICQR2MSE), 2011 International Conference on.
IEEE,
pp. 55–58,
doi:10.1109/ICQR2MSE.2011.5976568.
Cédric Wilwert, Françoise Simonot-Lion, Yeqiong Song & Françoise Simonot (2005):
Quantitative Evaluation of the Safety of X-by-Wire Architecture subject to EMI Perturbations.
In: Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on 1.
IEEE,
pp. 8–pp,
doi:10.1109/ETFA.2005.1612601.
Jun Yang & Tunc Aldemir (2016):
An algorithm for the computationally efficient deductive implementation of the Markov/Cell-to-Cell-Mapping Technique for risk significant scenario identification.
Reliability Engineering & System Safety 145,
pp. 1–8,
doi:10.1016/j.ress.2015.08.013.
Hongkun Zhang, Wenjun Li & Wei Chen (2010):
Model-based hazard analysis method on automotive programmable electronic system.
In: Biomedical Engineering and Informatics (BMEI), 2010 3rd International Conference on 7.
IEEE,
pp. 2658–2661,
doi:10.1109/BMEI.2010.5639860.
eptcs@eptcs.org